chore: Reduce potential for error ID fragmentation

Author: jan-ferdinand

tasm-lib/src/assertion_error_ids.md

@@ -18,8 +18,7 @@ often.
 | Error IDs | Snippet                                                                                     |
 |----------:|:--------------------------------------------------------------------------------------------|
 |     0..10 | [`MerkleVerify`](hashing/merkle_verify.rs)                                                  |
-|    10..11 | [`MmrVerifyFromSecretInLeafIndexOnStack`](mmr/verify_from_secret_in_leaf_index_on_stack.rs) |
-|    11..20 | [`BagPeaks`](mmr/bag_peaks.rs)                                                              |
+|    10..20 | [`MmrVerifyFromSecretInLeafIndexOnStack`](mmr/verify_from_secret_in_leaf_index_on_stack.rs) |
 |    20..30 | [`MmrVerifyFromSecretInSecretLeafIndex`](mmr/verify_from_secret_in_secret_leaf_index.rs)    |
 |    30..40 | [`VerifyFriAuthenticationPaths`](verifier/fri/verify_fri_authentication_paths.rs)           |
 |    40..50 | [`VerifyTableRows`](verifier/master_table/verify_table_rows.rs)                             |
@@ -65,3 +64,4 @@ often.
 |  530..540 | [`u128::ShiftLeft`](arithmetic/u128/shift_left.rs)                                          |
 |  540..550 | [`u128::ShiftRight`](arithmetic/u128/shift_right.rs)                                        |
 |  550..560 | [`list::Range`](list/range.rs)                                                              |
+|  560..570 | [`BagPeaks`](mmr/bag_peaks.rs)                                                              |

tasm-lib/src/mmr/bag_peaks.rs

@@ -39,7 +39,7 @@ use crate::traits::basic_snippet::SignOffFingerprint;
 pub struct BagPeaks;
 
 impl BagPeaks {
-    const INCONSISTENT_PEAKS_NUM: usize = 11;
+    const INCONSISTENT_NUM_PEAKS_ERROR_ID: usize = 560;
 }
 
 impl BasicSnippet for BagPeaks {
@@ -85,7 +85,7 @@ impl BasicSnippet for BagPeaks {
             dup 1 eq
             // _ *peaks [leaf_count] pop_count (num_peaks==pop_count)
 
-            assert error_id {Self::INCONSISTENT_PEAKS_NUM}
+            assert error_id {Self::INCONSISTENT_NUM_PEAKS_ERROR_ID}
             hint num_peaks: u32 = stack[0]
             // _ *peaks [leaf_count] num_peaks