Move to async properties for everything

[dubzzz]

When we started fast-check, we explicitly made a distinction between synchronous and asynchronous properties.

At that point in time, asynchronous code was slower to execute and thus making it the default would not have been great performance-wise. It was also way less idiomatic than today. And no direct integration of fast-check to Jest or Vitest or Ava ever existed.

Now the performance point seems negligeable, the DX one too when using one of our integrations. The only possibly remaining blocker is when using fast-check without any dedicated integration. Dropping the dual thing would drop code, simplify async usages...

In terms of performance, here is what we measured against the 3.22:

┌─────────┬──────────────────────────────────────────────────────────────────────┬──────────┬────────────────────┬───────────┬─────────┐
│ (index) │ Task Name                                                            │ ops/sec  │ Average Time (ns)  │ Margin    │ Samples │
├─────────┼──────────────────────────────────────────────────────────────────────┼──────────┼────────────────────┼───────────┼─────────┤
│ 0       │ 'boolean [property] on fast-check@main'                              │ '8,748'  │ 114299.41000067629 │ '±10.86%' │ 100     │
│ 1       │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 2       │ 'integer [property] on fast-check@main'                              │ '10,695' │ 93495.1299970271   │ '±6.47%'  │ 100     │
│ 3       │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 4       │ 'maxSafeInteger [property] on fast-check@main'                       │ '9,639'  │ 103744.74999553058 │ '±9.48%'  │ 100     │
│ 5       │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 6       │ 'float [property] on fast-check@main'                                │ '8,384'  │ 119261.01999881212 │ '±8.86%'  │ 100     │
│ 7       │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 8       │ 'double [property] on fast-check@main'                               │ '5,806'  │ 172226.47999762557 │ '±8.44%'  │ 100     │
│ 9       │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 10      │ 'bigInt [property] on fast-check@main'                               │ '5,248'  │ 190548.3399971854  │ '±5.80%'  │ 100     │
│ 11      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 12      │ 'date [property] on fast-check@main'                                 │ '8,663'  │ 115432.65000043903 │ '±6.42%'  │ 100     │
│ 13      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 14      │ 'string [property] on fast-check@main'                               │ '5,340'  │ 187237.6899997471  │ '±7.22%'  │ 100     │
│ 15      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 16      │ 'string@500 [property] on fast-check@main'                           │ '358'    │ 2788946.1500011384 │ '±1.93%'  │ 100     │
│ 17      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 18      │ 'string@25k [property] on fast-check@main'                           │ '5'      │ 184640101.70999914 │ '±2.49%'  │ 100     │
│ 19      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 20      │ 'string(grapheme-composite) [property] on fast-check@main'           │ '4,310'  │ 231969.66999559663 │ '±14.49%' │ 100     │
│ 21      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 22      │ 'string(grapheme-composite)@500 [property] on fast-check@main'       │ '251'    │ 3978171.530000982  │ '±1.88%'  │ 100     │
│ 23      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 24      │ 'string(grapheme-composite)@25k [property] on fast-check@main'       │ '3'      │ 266034275.72999963 │ '±2.36%'  │ 100     │
│ 25      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 26      │ 'string(grapheme) [property] on fast-check@main'                     │ '4,244'  │ 235585.44000668917 │ '±10.02%' │ 100     │
│ 27      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 28      │ 'string(grapheme)@500 [property] on fast-check@main'                 │ '226'    │ 4405453.919995925  │ '±1.79%'  │ 100     │
│ 29      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 30      │ 'string(grapheme)@25k [property] on fast-check@main'                 │ '3'      │ 277559440.21999776 │ '±2.08%'  │ 100     │
│ 31      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 32      │ 'array(integer) [property] on fast-check@main'                       │ '6,363'  │ 157144.75999760907 │ '±27.20%' │ 100     │
│ 33      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 34      │ 'array(integer)@500 [property] on fast-check@main'                   │ '552'    │ 1809147.159998538  │ '±3.30%'  │ 100     │
│ 35      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 36      │ 'array(integer)@25k [property] on fast-check@main'                   │ '9'      │ 108958863.8799981  │ '±2.60%'  │ 100     │
│ 37      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 38      │ 'uniqueArray(integer) [property] on fast-check@main'                 │ '5,337'  │ 187355.01999908593 │ '±24.78%' │ 100     │
│ 39      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 40      │ 'uniqueArray(integer)@500 [property] on fast-check@main'             │ '360'    │ 2771874.9099969864 │ '±1.98%'  │ 100     │
│ 41      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 42      │ 'anything [property] on fast-check@main'                             │ '653'    │ 1530286.4400006365 │ '±4.60%'  │ 100     │
│ 43      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 44      │ 'subarray([1,2,3]) [property] on fast-check@main'                    │ '8,180'  │ 122236.94000218529 │ '±8.63%'  │ 100     │
│ 45      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 46      │ 'shuffledSubarray([1,2,3]) [property] on fast-check@main'            │ '8,804'  │ 113578.0199978035  │ '±8.43%'  │ 100     │
│ 47      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 48      │ 'constant [property] on fast-check@main'                             │ '11,831' │ 84522.36999757588  │ '±8.90%'  │ 100     │
│ 49      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 50      │ 'constantFrom(a,b,c) [property] on fast-check@main'                  │ '11,857' │ 84334.11999838427  │ '±6.80%'  │ 100     │
│ 51      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 52      │ 'mapToConstant([a-z]) [property] on fast-check@main'                 │ '10,021' │ 99786.46999807097  │ '±8.68%'  │ 100     │
│ 53      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 54      │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@main'       │ '9,713'  │ 102954.12000152282 │ '±7.90%'  │ 100     │
│ 55      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 56      │ 'option(integer) [property] on fast-check@main'                      │ '9,700'  │ 103087.9899993306  │ '±8.07%'  │ 100     │
│ 57      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 58      │ 'oneof(integer,integer) [property] on fast-check@main'               │ '9,940'  │ 100599.24999834038 │ '±6.23%'  │ 100     │
│ 59      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 60      │ 'oneof(integer@1,integer@2) [property] on fast-check@main'           │ '9,720'  │ 102875.27999491431 │ '±7.59%'  │ 100     │
│ 61      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 62      │ 'tuple(integer,integer) [property] on fast-check@main'               │ '8,897'  │ 112389.1900019953  │ '±6.97%'  │ 100     │
│ 63      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 64      │ 'record(integer,integer) [property] on fast-check@main'              │ '3,629'  │ 275510.58000011835 │ '±8.14%'  │ 100     │
│ 65      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 66      │ 'letrec(node) [property] on fast-check@main'                         │ '5,392'  │ 185446.93000032566 │ '±10.59%' │ 100     │
│ 67      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 68      │ 'letrec(comment-generator) [property] on fast-check@main'            │ '2,896'  │ 345194.2400011467  │ '±5.52%'  │ 100     │
│ 69      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 70      │ 'memo(node@2) [property] on fast-check@main'                         │ '2,137'  │ 467729.9800008768  │ '±7.70%'  │ 100     │
│ 71      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 72      │ 'emailAddress [property] on fast-check@main'                         │ '767'    │ 1302684.9999988917 │ '±5.16%'  │ 100     │
│ 73      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 74      │ 'uuid [property] on fast-check@main'                                 │ '3,604'  │ 277446.9500017585  │ '±5.10%'  │ 100     │
│ 75      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 76      │ 'ulid [property] on fast-check@main'                                 │ '5,516'  │ 181279.64000042994 │ '±5.11%'  │ 100     │
│ 77      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 78      │ 'webUrl [property] on fast-check@main'                               │ '1,420'  │ 704077.2499941522  │ '±3.50%'  │ 100     │
│ 79      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 80      │ 'ipV4 [property] on fast-check@main'                                 │ '6,040'  │ 165539.5399988629  │ '±6.82%'  │ 100     │
│ 81      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 82      │ 'ipV6 [property] on fast-check@main'                                 │ '1,800'  │ 555334.4000020297  │ '±4.22%'  │ 100     │
│ 83      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 84      │ 'domain [property] on fast-check@main'                               │ '2,262'  │ 441923.42000373174 │ '±4.96%'  │ 100     │
│ 85      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 86      │ 'webPath [property] on fast-check@main'                              │ '3,691'  │ 270873.61000303645 │ '±6.12%'  │ 100     │
│ 87      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 88      │ 'base64String [property] on fast-check@main'                         │ '5,165'  │ 193609.64000108652 │ '±5.94%'  │ 100     │
│ 89      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 90      │ 'lorem [property] on fast-check@main'                                │ '3,372'  │ 296486.7400046205  │ '±7.44%'  │ 100     │
│ 91      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 92      │ 'json [property] on fast-check@main'                                 │ '624'    │ 1602154.2999980738 │ '±3.85%'  │ 100     │
│ 93      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 94      │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@main'        │ '6,081'  │ 164445.33000059891 │ '±8.65%'  │ 100     │
│ 95      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 96      │ 'stringMatching(ipV4) [property] on fast-check@main'                 │ '2,008'  │ 497975.7599963341  │ '±6.93%'  │ 100     │
│ 97      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 98      │ 'mixedCase(hello) [property] on fast-check@main'                     │ '4,132'  │ 241981.21000139508 │ '±9.34%'  │ 100     │
│ 99      │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 100     │ 'integer|>filter(true) [property] on fast-check@main'                │ '10,402' │ 96133.94999934826  │ '±8.00%'  │ 100     │
│ 101     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 102     │ 'integer|>map(self) [property] on fast-check@main'                   │ '10,415' │ 96014.75000323262  │ '±8.13%'  │ 100     │
│ 103     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 104     │ 'integer|>chain(integer) [property] on fast-check@main'              │ '9,298'  │ 107538.67999999784 │ '±7.83%'  │ 100     │
│ 105     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 106     │ 'integer|>noBias [property] on fast-check@main'                      │ '11,557' │ 86524.47000087705  │ '±8.37%'  │ 100     │
│ 107     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 108     │ 'integer|>noShrink [property] on fast-check@main'                    │ '10,537' │ 94895.85000032093  │ '±6.48%'  │ 100     │
│ 109     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 110     │ 'boolean [async-property] on fast-check@main'                        │ '6,864'  │ 145669.90999912377 │ '±7.66%'  │ 100     │
│ 111     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 112     │ 'integer [async-property] on fast-check@main'                        │ '6,970'  │ 143457.99000177067 │ '±6.79%'  │ 100     │
│ 113     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 114     │ 'maxSafeInteger [async-property] on fast-check@main'                 │ '6,717'  │ 148872.41000309587 │ '±7.10%'  │ 100     │
│ 115     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 116     │ 'float [async-property] on fast-check@main'                          │ '6,280'  │ 159210.520000197   │ '±6.67%'  │ 100     │
│ 117     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 118     │ 'double [async-property] on fast-check@main'                         │ '5,008'  │ 199643.97000090685 │ '±6.73%'  │ 100     │
│ 119     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 120     │ 'bigInt [async-property] on fast-check@main'                         │ '4,038'  │ 247605.69000442047 │ '±5.82%'  │ 100     │
│ 121     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 122     │ 'date [async-property] on fast-check@main'                           │ '5,866'  │ 170461.03000408038 │ '±7.53%'  │ 100     │
│ 123     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 124     │ 'string [async-property] on fast-check@main'                         │ '4,247'  │ 235440.90000039432 │ '±5.58%'  │ 100     │
│ 125     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 126     │ 'string@500 [async-property] on fast-check@main'                     │ '341'    │ 2926195.169999264  │ '±3.07%'  │ 100     │
│ 127     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 128     │ 'string@25k [async-property] on fast-check@main'                     │ '5'      │ 181000887.99000135 │ '±2.42%'  │ 100     │
│ 129     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 130     │ 'string(grapheme-composite) [async-property] on fast-check@main'     │ '3,488'  │ 286673.6500017578  │ '±10.45%' │ 100     │
│ 131     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 132     │ 'string(grapheme-composite)@500 [async-property] on fast-check@main' │ '242'    │ 4126363.9499997953 │ '±1.73%'  │ 100     │
│ 133     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 134     │ 'string(grapheme-composite)@25k [async-property] on fast-check@main' │ '3'      │ 257376982.07000208 │ '±2.11%'  │ 100     │
│ 135     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 136     │ 'string(grapheme) [async-property] on fast-check@main'               │ '3,279'  │ 304895.96999424975 │ '±15.53%' │ 100     │
│ 137     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 138     │ 'string(grapheme)@500 [async-property] on fast-check@main'           │ '223'    │ 4475094.049999025  │ '±1.80%'  │ 100     │
│ 139     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 140     │ 'string(grapheme)@25k [async-property] on fast-check@main'           │ '3'      │ 289058657.69000024 │ '±1.97%'  │ 100     │
│ 141     │ '—'                                                                  │ '—'      │ '—'                │ '—'       │ '—'     │
│ 142     │ 'array(integer) [async-property] on fast-check@main'                 │ '4,145'  │ 241249.01000293903 │ '±32.78%' │ 100