perf(verify_mmr_successor): Use new algorithm

Rewrite the snippet to use the new algorithm introduced in
`twenty-first` v0.44.1.

Also:
- document & sign-off on the snippet
- add additional negative test cases

Author: jan-ferdinand

tasm-lib/Cargo.toml

@@ -36,7 +36,7 @@ serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 strum = { version = "0.26", features = ["derive"] }
 tasm-object-derive.workspace = true
-triton-vm = { version = "0.44.0", default-features = false }
+triton-vm = { version = "0.44.1", default-features = false }
 
 [dev-dependencies.cargo-husky]
 version = "1"

tasm-lib/benchmarks/tasm_lib_mmr_verify_mmr_successor.json

@@ -2,22 +2,22 @@
   {
     "name": "tasm_lib_mmr_verify_mmr_successor",
     "benchmark_result": {
-      "clock_cycle_count": 21555,
-      "hash_table_height": 3738,
-      "u32_table_height": 9291,
-      "op_stack_table_height": 12832,
-      "ram_table_height": 473
+      "clock_cycle_count": 1578,
+      "hash_table_height": 696,
+      "u32_table_height": 1552,
+      "op_stack_table_height": 918,
+      "ram_table_height": 176
     },
     "case": "CommonCase"
   },
   {
     "name": "tasm_lib_mmr_verify_mmr_successor",
     "benchmark_result": {
-      "clock_cycle_count": 63263,
-      "hash_table_height": 12288,
-      "u32_table_height": 17851,
-      "op_stack_table_height": 35990,
-      "ram_table_height": 893
+      "clock_cycle_count": 2658,
+      "hash_table_height": 876,
+      "u32_table_height": 1875,
+      "op_stack_table_height": 1518,
+      "ram_table_height": 326
     },
     "case": "WorstCase"
   }

tasm-lib/src/mmr/leaf_index_to_mt_index_and_peak_index.rs

@@ -33,7 +33,7 @@ use crate::traits::basic_snippet::SignOffFingerprint;
 /// - all output arguments are properly [`BFieldCodec`] encoded
 ///
 /// [rust]: twenty_first::util_types::mmr::shared_basic::leaf_index_to_mt_index_and_peak_index
-#[derive(Debug, Clone, Copy, Eq, PartialEq, Hash)]
+#[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
 pub struct MmrLeafIndexToMtIndexAndPeakIndex;
 
 impl MmrLeafIndexToMtIndexAndPeakIndex {