refactor(AddU64): Implement BasicSnippet

Remove implementation of `DeprecatedSnippet`.

Also, use `pick` & `place` over `swap` for marginally more efficient
stack manipulation.

Author: jan-ferdinand

tasm-lib/benchmarks/tasm_lib_mmr_verify_mmr_successor.json

@@ -2,8 +2,8 @@
   {
     "name": "tasm_lib_mmr_verify_mmr_successor",
     "benchmark_result": {
-      "clock_cycle_count": 23555,
-      "hash_table_height": 3792,
+      "clock_cycle_count": 23427,
+      "hash_table_height": 3786,
       "u32_table_height": 8260,
       "op_stack_table_height": 14528,
       "ram_table_height": 473
@@ -13,8 +13,8 @@
   {
     "name": "tasm_lib_mmr_verify_mmr_successor",
     "benchmark_result": {
-      "clock_cycle_count": 70739,
-      "hash_table_height": 12342,
+      "clock_cycle_count": 70491,
+      "hash_table_height": 12336,
       "u32_table_height": 16787,
       "op_stack_table_height": 41834,
       "ram_table_height": 893

tasm-lib/benchmarks/tasmlib_arithmetic_u64_add.json

@@ -2,9 +2,9 @@
   {
     "name": "tasmlib_arithmetic_u64_add",
     "benchmark_result": {
-      "clock_cycle_count": 16,
-      "hash_table_height": 18,
-      "u32_table_height": 34,
+      "clock_cycle_count": 14,
+      "hash_table_height": 12,
+      "u32_table_height": 66,
       "op_stack_table_height": 8,
       "ram_table_height": 0
     },
@@ -13,9 +13,9 @@
   {
     "name": "tasmlib_arithmetic_u64_add",
     "benchmark_result": {
-      "clock_cycle_count": 16,
-      "hash_table_height": 18,
-      "u32_table_height": 38,
+      "clock_cycle_count": 14,
+      "hash_table_height": 12,
+      "u32_table_height": 60,
       "op_stack_table_height": 8,
       "ram_table_height": 0
     },

tasm-lib/benchmarks/tasmlib_mmr_calculate_new_peaks_from_leaf_mutation.json

@@ -2,7 +2,7 @@
   {
     "name": "tasmlib_mmr_calculate_new_peaks_from_leaf_mutation",
     "benchmark_result": {
-      "clock_cycle_count": 2272,
+      "clock_cycle_count": 2270,
       "hash_table_height": 414,
       "u32_table_height": 1069,
       "op_stack_table_height": 1462,
@@ -13,7 +13,7 @@
   {
     "name": "tasmlib_mmr_calculate_new_peaks_from_leaf_mutation",
     "benchmark_result": {
-      "clock_cycle_count": 4332,
+      "clock_cycle_count": 4330,
       "hash_table_height": 600,
       "u32_table_height": 1683,
       "op_stack_table_height": 2840,

tasm-lib/benchmarks/tasmlib_mmr_leaf_index_to_mt_index_and_peak_index.json

@@ -2,8 +2,8 @@
   {
     "name": "tasmlib_mmr_leaf_index_to_mt_index_and_peak_index",
     "benchmark_result": {
-      "clock_cycle_count": 111,
-      "hash_table_height": 120,
+      "clock_cycle_count": 109,
+      "hash_table_height": 114,
       "u32_table_height": 298,
       "op_stack_table_height": 69,
       "ram_table_height": 0
@@ -13,8 +13,8 @@
   {
     "name": "tasmlib_mmr_leaf_index_to_mt_index_and_peak_index",
     "benchmark_result": {
-      "clock_cycle_count": 111,
-      "hash_table_height": 120,
+      "clock_cycle_count": 109,
+      "hash_table_height": 114,
       "u32_table_height": 326,
       "op_stack_table_height": 69,
       "ram_table_height": 0

tasm-lib/benchmarks/tasmlib_mmr_verify_from_memory.json

@@ -2,7 +2,7 @@
   {
     "name": "tasmlib_mmr_verify_from_memory",
     "benchmark_result": {
-      "clock_cycle_count": 1509,
+      "clock_cycle_count": 1507,
       "hash_table_height": 420,
       "u32_table_height": 1399,
       "op_stack_table_height": 1172,
@@ -13,7 +13,7 @@
   {
     "name": "tasmlib_mmr_verify_from_memory",
     "benchmark_result": {
-      "clock_cycle_count": 2856,
+      "clock_cycle_count": 2854,
       "hash_table_height": 606,
       "u32_table_height": 1525,
       "op_stack_table_height": 2240,

tasm-lib/benchmarks/tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack.json

@@ -2,7 +2,7 @@
   {
     "name": "tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack",
     "benchmark_result": {
-      "clock_cycle_count": 1059,
+      "clock_cycle_count": 1057,
       "hash_table_height": 360,
       "u32_table_height": 788,
       "op_stack_table_height": 570,
@@ -13,7 +13,7 @@
   {
     "name": "tasmlib_mmr_verify_from_secret_in_leaf_index_on_stack",
     "benchmark_result": {
-      "clock_cycle_count": 1899,
+      "clock_cycle_count": 1897,
       "hash_table_height": 540,
       "u32_table_height": 902,
       "op_stack_table_height": 990,

tasm-lib/benchmarks/tasmlib_mmr_verify_from_secret_in_secret_leaf_index.json

@@ -2,8 +2,8 @@
   {
     "name": "tasmlib_mmr_verify_from_secret_in_secret_leaf_index",
     "benchmark_result": {
-      "clock_cycle_count": 1071,
-      "hash_table_height": 378,
+      "clock_cycle_count": 1069,
+      "hash_table_height": 372,
       "u32_table_height": 755,
       "op_stack_table_height": 576,
       "ram_table_height": 5
@@ -13,8 +13,8 @@
   {
     "name": "tasmlib_mmr_verify_from_secret_in_secret_leaf_index",
     "benchmark_result": {
-      "clock_cycle_count": 1911,
-      "hash_table_height": 558,
+      "clock_cycle_count": 1909,
+      "hash_table_height": 552,
       "u32_table_height": 967,
       "op_stack_table_height": 996,
       "ram_table_height": 5