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],
)