pub fn verify_stack_growth<T: RustShadow>(
shadowed_snippet: &T,
initial_stack: &[BFieldElement],
final_stack: &[BFieldElement],
)pub fn verify_stack_growth<T: RustShadow>(
shadowed_snippet: &T,
initial_stack: &[BFieldElement],
final_stack: &[BFieldElement],
)