Merge pull request #141 from pulseengine/fix/wast-validation-improvements-v3

feat: kiln-debug fixes, Verus SafeMemory proofs, panic reduction

Author: avrabe

kiln-decoder/examples/decode_example.rs

@@ -42,3 +42,4 @@
 pub mod static_vec_proofs;
 pub mod static_queue_proofs;
 pub mod static_string_proofs;
+pub mod safe_memory_proofs;