fix: Add missing stdin to rust-shadow of MemPreserver

The only thing `MemPreserver` guarantees is that it does not modify
memory. Everything else is allowed, including reading from standard-in.
This must be reflected in the trait and its test function.

Author: Sword-Smith

tasm-lib/src/mmr/verify_mmr_successor.rs

@@ -538,6 +538,7 @@ mod test {
             memory: &HashMap<BFieldElement, BFieldElement>,
             _nd_tokens: VecDeque<BFieldElement>,
             nd_digests: VecDeque<Digest>,
+            _stdin: VecDeque<BFieldElement>,
             _sponge: &mut Option<Tip5>,
         ) -> Vec<BFieldElement> {
             let new_mmr_pointer = stack.pop().unwrap();

tasm-lib/src/traits/mem_preserver.rs

@@ -36,6 +36,7 @@ pub trait MemPreserver: BasicSnippet {
         memory: &HashMap<BFieldElement, BFieldElement>,
         nd_tokens: VecDeque<BFieldElement>,
         nd_digests: VecDeque<Digest>,
+        stdin: VecDeque<BFieldElement>,
         sponge: &mut Option<Tip5>,
     ) -> Vec<BFieldElement>;
 
@@ -91,7 +92,7 @@ where
 
     fn rust_shadow_wrapper(
         &self,
-        _stdin: &[BFieldElement],
+        stdin: &[BFieldElement],
         nondeterminism: &NonDeterminism,
         stack: &mut Vec<BFieldElement>,
         memory: &mut HashMap<BFieldElement, BFieldElement>,
@@ -102,6 +103,7 @@ where
             memory,
             nondeterminism.individual_tokens.to_owned().into(),
             nondeterminism.digests.to_owned().into(),
+            stdin.to_vec().into(),
             sponge,
         )
     }