perf(FRI): Use pick&place over swap

Author: jan-ferdinand

tasm-lib/benchmarks/tasmlib_verifier_fri_verify.json

@@ -2,21 +2,21 @@
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 46265,
-      "hash_table_height": 14664,
+      "clock_cycle_count": 45534,
+      "hash_table_height": 14646,
       "u32_table_height": 17928,
-      "op_stack_table_height": 44839,
+      "op_stack_table_height": 43861,
       "ram_table_height": 17532
     },
     "case": "CommonCase"
   },
   {
     "name": "tasmlib_verifier_fri_verify",
     "benchmark_result": {
-      "clock_cycle_count": 46265,
-      "hash_table_height": 14664,
+      "clock_cycle_count": 45534,
+      "hash_table_height": 14646,
       "u32_table_height": 17324,
-      "op_stack_table_height": 44839,
+      "op_stack_table_height": 43861,
       "ram_table_height": 17532
     },
     "case": "WorstCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 196947,
-      "hash_table_height": 142861,
-      "u32_table_height": 24710,
-      "op_stack_table_height": 179910,
+      "clock_cycle_count": 195488,
+      "hash_table_height": 142843,
+      "u32_table_height": 25110,
+      "op_stack_table_height": 177960,
       "ram_table_height": 289180
     },
     "case": "CommonCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 205700,
-      "hash_table_height": 150553,
-      "u32_table_height": 34237,
-      "op_stack_table_height": 186038,
+      "clock_cycle_count": 203513,
+      "hash_table_height": 150535,
+      "u32_table_height": 34005,
+      "op_stack_table_height": 183116,
       "ram_table_height": 290358
     },
     "case": "CommonCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 185244,
-      "hash_table_height": 128815,
-      "u32_table_height": 24702,
-      "op_stack_table_height": 172104,
+      "clock_cycle_count": 183785,
+      "hash_table_height": 128797,
+      "u32_table_height": 25976,
+      "op_stack_table_height": 170154,
       "ram_table_height": 285281
     },
     "case": "CommonCase"

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4.json

@@ -2,10 +2,10 @@
   {
     "name": "tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 193997,
-      "hash_table_height": 136507,
-      "u32_table_height": 34349,
-      "op_stack_table_height": 178232,
+      "clock_cycle_count": 191810,
+      "hash_table_height": 136489,
+      "u32_table_height": 33693,
+      "op_stack_table_height": 175310,
       "ram_table_height": 286459
     },
     "case": "CommonCase"