pub fn check_no_underflow(wasm_ops: &[WasmOp]) -> Result<()>Expand description
Pre-flight check: returns Err(Error::validation(...)) if any modeled
op would underflow the wasm value stack. If the sequence contains
control-flow ops we don’t model, returns Ok(()) (bails conservatively).