[StdLib] Strictify 'fix' (#5939)

This makes `fix` stricter so that the body of the function that it takes always gets forced regardless of whether the necessary argument is provided or not.

Resolves #5961.

---------

Co-authored-by: Yura Lazaryev <Yuriy.Lazaryev@iohk.io>

plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden

@@ -2,88 +2,88 @@ Hash n bytestrings onto G1 and add points
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    0     117   (0.7%)        17432189   (0.2%)            4518   (0.0%) 
-   10     227   (1.4%)       694178079   (6.9%)           40878   (0.3%) 
-   20     337   (2.1%)      1370923969  (13.7%)           77238   (0.6%) 
-   30     447   (2.7%)      2047669859  (20.5%)          113598   (0.8%) 
-   40     557   (3.4%)      2724415749  (27.2%)          149958   (1.1%) 
-   50     667   (4.1%)      3401161639  (34.0%)          186318   (1.3%) 
-   60     777   (4.7%)      4077907529  (40.8%)          222678   (1.6%) 
-   70     887   (5.4%)      4754653419  (47.5%)          259038   (1.9%) 
-   80     997   (6.1%)      5431399309  (54.3%)          295398   (2.1%) 
-   90    1107   (6.8%)      6108145199  (61.1%)          331758   (2.4%) 
-  100    1217   (7.4%)      6784891089  (67.8%)          368118   (2.6%) 
-  110    1327   (8.1%)      7461636979  (74.6%)          404478   (2.9%) 
-  120    1437   (8.8%)      8138382869  (81.4%)          440838   (3.1%) 
-  130    1547   (9.4%)      8815128759  (88.2%)          477198   (3.4%) 
-  140    1657  (10.1%)      9491874649  (94.9%)          513558   (3.7%) 
-  150    1767  (10.8%)     10168620539 (101.7%)          549918   (3.9%) 
+    0     115   (0.7%)        17294189   (0.2%)            3918   (0.0%) 
+   10     224   (1.4%)       693350079   (6.9%)           37278   (0.3%) 
+   20     334   (2.0%)      1369405969  (13.7%)           70638   (0.5%) 
+   30     444   (2.7%)      2045461859  (20.5%)          103998   (0.7%) 
+   40     554   (3.4%)      2721517749  (27.2%)          137358   (1.0%) 
+   50     664   (4.1%)      3397573639  (34.0%)          170718   (1.2%) 
+   60     774   (4.7%)      4073629529  (40.7%)          204078   (1.5%) 
+   70     884   (5.4%)      4749685419  (47.5%)          237438   (1.7%) 
+   80     994   (6.1%)      5425741309  (54.3%)          270798   (1.9%) 
+   90    1104   (6.7%)      6101797199  (61.0%)          304158   (2.2%) 
+  100    1214   (7.4%)      6777853089  (67.8%)          337518   (2.4%) 
+  110    1324   (8.1%)      7453908979  (74.5%)          370878   (2.6%) 
+  120    1434   (8.8%)      8129964869  (81.3%)          404238   (2.9%) 
+  130    1544   (9.4%)      8806020759  (88.1%)          437598   (3.1%) 
+  140    1654  (10.1%)      9482076649  (94.8%)          470958   (3.4%) 
+  150    1764  (10.8%)     10158132539 (101.6%)          504318   (3.6%) 
 
 
 Hash n bytestrings onto G2 and add points
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    0     165   (1.0%)        34024964   (0.3%)            4536   (0.0%) 
-   10     275   (1.7%)      2106368474  (21.1%)           41256   (0.3%) 
-   20     385   (2.3%)      4178711984  (41.8%)           77976   (0.6%) 
-   30     495   (3.0%)      6251055494  (62.5%)          114696   (0.8%) 
-   40     605   (3.7%)      8323399004  (83.2%)          151416   (1.1%) 
-   50     715   (4.4%)     10395742514 (104.0%)          188136   (1.3%) 
-   60     825   (5.0%)     12468086024 (124.7%)          224856   (1.6%) 
-   70     935   (5.7%)     14540429534 (145.4%)          261576   (1.9%) 
-   80    1045   (6.4%)     16612773044 (166.1%)          298296   (2.1%) 
-   90    1155   (7.0%)     18685116554 (186.9%)          335016   (2.4%) 
-  100    1265   (7.7%)     20757460064 (207.6%)          371736   (2.7%) 
-  110    1375   (8.4%)     22829803574 (228.3%)          408456   (2.9%) 
-  120    1485   (9.1%)     24902147084 (249.0%)          445176   (3.2%) 
-  130    1595   (9.7%)     26974490594 (269.7%)          481896   (3.4%) 
-  140    1705  (10.4%)     29046834104 (290.5%)          518616   (3.7%) 
-  150    1815  (11.1%)     31119177614 (311.2%)          555336   (4.0%) 
+    0     163   (1.0%)        33886964   (0.3%)            3936   (0.0%) 
+   10     272   (1.7%)      2105540474  (21.1%)           37656   (0.3%) 
+   20     382   (2.3%)      4177193984  (41.8%)           71376   (0.5%) 
+   30     492   (3.0%)      6248847494  (62.5%)          105096   (0.8%) 
+   40     602   (3.7%)      8320501004  (83.2%)          138816   (1.0%) 
+   50     712   (4.3%)     10392154514 (103.9%)          172536   (1.2%) 
+   60     822   (5.0%)     12463808024 (124.6%)          206256   (1.5%) 
+   70     932   (5.7%)     14535461534 (145.4%)          239976   (1.7%) 
+   80    1042   (6.4%)     16607115044 (166.1%)          273696   (2.0%) 
+   90    1152   (7.0%)     18678768554 (186.8%)          307416   (2.2%) 
+  100    1262   (7.7%)     20750422064 (207.5%)          341136   (2.4%) 
+  110    1372   (8.4%)     22822075574 (228.2%)          374856   (2.7%) 
+  120    1482   (9.0%)     24893729084 (248.9%)          408576   (2.9%) 
+  130    1592   (9.7%)     26965382594 (269.7%)          442296   (3.2%) 
+  140    1702  (10.4%)     29037036104 (290.4%)          476016   (3.4%) 
+  150    1812  (11.1%)     31108689614 (311.1%)          509736   (3.6%) 
 
 
 Uncompress n G1 points and add the results
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    0     114   (0.7%)        17432189   (0.2%)            4518   (0.0%) 
-   10     664   (4.1%)       197781159   (2.0%)           38878   (0.3%) 
-   20    1214   (7.4%)       378130129   (3.8%)           73238   (0.5%) 
-   30    1764  (10.8%)       558479099   (5.6%)          107598   (0.8%) 
-   40    2314  (14.1%)       738828069   (7.4%)          141958   (1.0%) 
-   50    2864  (17.5%)       919177039   (9.2%)          176318   (1.3%) 
-   60    3414  (20.8%)      1099526009  (11.0%)          210678   (1.5%) 
-   70    3964  (24.2%)      1279874979  (12.8%)          245038   (1.8%) 
-   80    4514  (27.6%)      1460223949  (14.6%)          279398   (2.0%) 
-   90    5064  (30.9%)      1640572919  (16.4%)          313758   (2.2%) 
-  100    5614  (34.3%)      1820921889  (18.2%)          348118   (2.5%) 
-  110    6164  (37.6%)      2001270859  (20.0%)          382478   (2.7%) 
-  120    6714  (41.0%)      2181619829  (21.8%)          416838   (3.0%) 
-  130    7264  (44.3%)      2361968799  (23.6%)          451198   (3.2%) 
-  140    7814  (47.7%)      2542317769  (25.4%)          485558   (3.5%) 
-  150    8364  (51.0%)      2722666739  (27.2%)          519918   (3.7%) 
+    0     112   (0.7%)        17294189   (0.2%)            3918   (0.0%) 
+   10     661   (4.0%)       196953159   (2.0%)           35278   (0.3%) 
+   20    1211   (7.4%)       376612129   (3.8%)           66638   (0.5%) 
+   30    1761  (10.7%)       556271099   (5.6%)           97998   (0.7%) 
+   40    2311  (14.1%)       735930069   (7.4%)          129358   (0.9%) 
+   50    2861  (17.5%)       915589039   (9.2%)          160718   (1.1%) 
+   60    3411  (20.8%)      1095248009  (11.0%)          192078   (1.4%) 
+   70    3961  (24.2%)      1274906979  (12.7%)          223438   (1.6%) 
+   80    4511  (27.5%)      1454565949  (14.5%)          254798   (1.8%) 
+   90    5061  (30.9%)      1634224919  (16.3%)          286158   (2.0%) 
+  100    5611  (34.2%)      1813883889  (18.1%)          317518   (2.3%) 
+  110    6161  (37.6%)      1993542859  (19.9%)          348878   (2.5%) 
+  120    6711  (41.0%)      2173201829  (21.7%)          380238   (2.7%) 
+  130    7261  (44.3%)      2352860799  (23.5%)          411598   (2.9%) 
+  140    7811  (47.7%)      2532519769  (25.3%)          442958   (3.2%) 
+  150    8361  (51.0%)      2712178739  (27.1%)          474318   (3.4%) 
 
 
 Uncompress n G2 points and add the results
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    0     162   (1.0%)        34024964   (0.3%)            4536   (0.0%) 
-   10    1192   (7.3%)       393431584   (3.9%)           39256   (0.3%) 
-   20    2222  (13.6%)       752838204   (7.5%)           73976   (0.5%) 
-   30    3252  (19.8%)      1112244824  (11.1%)          108696   (0.8%) 
-   40    4282  (26.1%)      1471651444  (14.7%)          143416   (1.0%) 
-   50    5312  (32.4%)      1831058064  (18.3%)          178136   (1.3%) 
-   60    6342  (38.7%)      2190464684  (21.9%)          212856   (1.5%) 
-   70    7372  (45.0%)      2549871304  (25.5%)          247576   (1.8%) 
-   80    8402  (51.3%)      2909277924  (29.1%)          282296   (2.0%) 
-   90    9432  (57.6%)      3268684544  (32.7%)          317016   (2.3%) 
-  100   10462  (63.9%)      3628091164  (36.3%)          351736   (2.5%) 
-  110   11492  (70.1%)      3987497784  (39.9%)          386456   (2.8%) 
-  120   12522  (76.4%)      4346904404  (43.5%)          421176   (3.0%) 
-  130   13552  (82.7%)      4706311024  (47.1%)          455896   (3.3%) 
-  140   14582  (89.0%)      5065717644  (50.7%)          490616   (3.5%) 
-  150   15612  (95.3%)      5425124264  (54.3%)          525336   (3.8%) 
+    0     160   (1.0%)        33886964   (0.3%)            3936   (0.0%) 
+   10    1189   (7.3%)       392603584   (3.9%)           35656   (0.3%) 
+   20    2219  (13.5%)       751320204   (7.5%)           67376   (0.5%) 
+   30    3249  (19.8%)      1110036824  (11.1%)           99096   (0.7%) 
+   40    4279  (26.1%)      1468753444  (14.7%)          130816   (0.9%) 
+   50    5309  (32.4%)      1827470064  (18.3%)          162536   (1.2%) 
+   60    6339  (38.7%)      2186186684  (21.9%)          194256   (1.4%) 
+   70    7369  (45.0%)      2544903304  (25.4%)          225976   (1.6%) 
+   80    8399  (51.3%)      2903619924  (29.0%)          257696   (1.8%) 
+   90    9429  (57.6%)      3262336544  (32.6%)          289416   (2.1%) 
+  100   10459  (63.8%)      3621053164  (36.2%)          321136   (2.3%) 
+  110   11489  (70.1%)      3979769784  (39.8%)          352856   (2.5%) 
+  120   12519  (76.4%)      4338486404  (43.4%)          384576   (2.7%) 
+  130   13549  (82.7%)      4697203024  (47.0%)          416296   (3.0%) 
+  140   14579  (89.0%)      5055919644  (50.6%)          448016   (3.2%) 
+  150   15609  (95.3%)      5414636264  (54.1%)          479736   (3.4%) 
 
 
 Apply pairing to two pairs of points in G1 x G2 and run finalVerify on the results
@@ -103,7 +103,7 @@ VRF example
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     712   (4.3%)      1303299563  (13.0%)           49149   (0.4%) 
+    -     712   (4.3%)      1303023563  (13.0%)           47949   (0.3%) 
 
 G1 Verify
 
@@ -121,13 +121,13 @@ Aggregate Single Key
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     777   (4.7%)      3336910422  (33.4%)           71202   (0.5%) 
+    -     777   (4.7%)      3336634422  (33.4%)           70002   (0.5%) 
 
 Aggregate Multi Key
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -    1704  (10.4%)      3676891887  (36.8%)          430586   (3.1%) 
+    -    1704  (10.4%)      3674821887  (36.7%)          421586   (3.0%) 
 
 Schnorr Signature G1
 

plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden

@@ -1,20 +1,20 @@
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    0     481   (2.9%)         6124112   (0.1%)           22722   (0.2%) 
-   10    2208  (13.5%)       732562512   (7.3%)          517552   (3.7%) 
-   20    3935  (24.0%)      1459000912  (14.6%)         1012382   (7.2%) 
-   30    5662  (34.6%)      2185439312  (21.9%)         1507212  (10.8%) 
-   40    7389  (45.1%)      2911877712  (29.1%)         2002042  (14.3%) 
-   50    9115  (55.6%)      3638316112  (36.4%)         2496872  (17.8%) 
-   60   10842  (66.2%)      4364754512  (43.6%)         2991702  (21.4%) 
-   70   12569  (76.7%)      5091192912  (50.9%)         3486532  (24.9%) 
-   80   14295  (87.2%)      5817631312  (58.2%)         3981362  (28.4%) 
-   90   16022  (97.8%)      6544069712  (65.4%)         4476192  (32.0%) 
-  100   17749 (108.3%)      7270508112  (72.7%)         4971022  (35.5%) 
-  110   19476 (118.9%)      7996946512  (80.0%)         5465852  (39.0%) 
-  120   21202 (129.4%)      8723384912  (87.2%)         5960682  (42.6%) 
-  130   22929 (139.9%)      9449823312  (94.5%)         6455512  (46.1%) 
-  140   24656 (150.5%)     10176261712 (101.8%)         6950342  (49.6%) 
-  150   26383 (161.0%)     10902700112 (109.0%)         7445172  (53.2%) 
+    0     481   (2.9%)         5848112   (0.1%)           21522   (0.2%) 
+   10    2208  (13.5%)       732286512   (7.3%)          516352   (3.7%) 
+   20    3935  (24.0%)      1458724912  (14.6%)         1011182   (7.2%) 
+   30    5662  (34.6%)      2185163312  (21.9%)         1506012  (10.8%) 
+   40    7389  (45.1%)      2911601712  (29.1%)         2000842  (14.3%) 
+   50    9115  (55.6%)      3638040112  (36.4%)         2495672  (17.8%) 
+   60   10842  (66.2%)      4364478512  (43.6%)         2990502  (21.4%) 
+   70   12569  (76.7%)      5090916912  (50.9%)         3485332  (24.9%) 
+   80   14295  (87.2%)      5817355312  (58.2%)         3980162  (28.4%) 
+   90   16022  (97.8%)      6543793712  (65.4%)         4474992  (32.0%) 
+  100   17749 (108.3%)      7270232112  (72.7%)         4969822  (35.5%) 
+  110   19476 (118.9%)      7996670512  (80.0%)         5464652  (39.0%) 
+  120   21202 (129.4%)      8723108912  (87.2%)         5959482  (42.6%) 
+  130   22929 (139.9%)      9449547312  (94.5%)         6454312  (46.1%) 
+  140   24656 (150.5%)     10175985712 (101.8%)         6949142  (49.6%) 
+  150   26383 (161.0%)     10902424112 (109.0%)         7443972  (53.2%) 
 
 Off-chain version succeeded on 100 inputs

plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-10.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 281818764
-| mem: 853552})
+({cpu: 278230764
+| mem: 837952})

plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-100.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 23467702554
-| mem: 69648832})
+({cpu: 23433064554
+| mem: 69498232})

plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 84670834
-| mem: 261592})
+({cpu: 82807834
+| mem: 253492})

plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-50.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 5993154004
-| mem: 17829232})
+({cpu: 5975766004
+| mem: 17753632})

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-10.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 187660620
-| mem: 554080})
+({cpu: 184072620
+| mem: 538480})

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-100.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 14186634300
-| mem: 39690400})
+({cpu: 14151996300
+| mem: 39539800})

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-5.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 60673710
-| mem: 186740})
+({cpu: 58810710
+| mem: 178640})

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-50.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 3669494700
-| mem: 10340000})
+({cpu: 3652106700
+| mem: 10264400})

plutus-benchmark/lists/test/Sum/9.6/left-fold-built-in.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 174359654
-| mem: 564532})
+({cpu: 167321654
+| mem: 533932})

plutus-benchmark/lists/test/Sum/9.6/left-fold-data.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 368280389
-| mem: 1114530})
+({cpu: 361242389
+| mem: 1083930})

plutus-benchmark/lists/test/Sum/9.6/left-fold-scott.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 132243800
-| mem: 485500})
+({cpu: 125205800
+| mem: 454900})

plutus-benchmark/lists/test/Sum/9.6/right-fold-built-in.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 181259654
-| mem: 594532})
+({cpu: 174221654
+| mem: 563932})

plutus-benchmark/lists/test/Sum/9.6/right-fold-data.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 375180389
-| mem: 1144530})
+({cpu: 368142389
+| mem: 1113930})

plutus-benchmark/lists/test/Sum/9.6/right-fold-scott.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 139143800
-| mem: 515500})
+({cpu: 132105800
+| mem: 484900})

plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 258545561
-| mem: 922390})
+({cpu: 247988561
+| mem: 876490})

plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 389499336
-| mem: 1444704})
+({cpu: 373215336
+| mem: 1373904})

plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 279511649
-| mem: 1007454})
+({cpu: 267781649
+| mem: 956454})

plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 222840463
-| mem: 786822})
+({cpu: 213732463
+| mem: 747222})

plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 251726730
-| mem: 891132})
+({cpu: 242342730
+| mem: 850332})

plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 232451662
-| mem: 818172})
+({cpu: 223274662
+| mem: 778272})

plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 230636085
-| mem: 811570})
+({cpu: 221459085
+| mem: 771670})

plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 294346963
-| mem: 1057176})
+({cpu: 283858963
+| mem: 1011576})

plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 273094280
-| mem: 978744})
+({cpu: 262123280
+| mem: 931044})

plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 249500070
-| mem: 886810})
+({cpu: 239288070
+| mem: 842410})

plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 279059337
-| mem: 999494})
+({cpu: 268502337
+| mem: 953594})

plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden

@@ -1,2 +1,2 @@
-({cpu: 282047596
-| mem: 1017870})
+({cpu: 271076596
+| mem: 970170})