WASM was designed to be fast enough to compete with native code and can't do integer overflow checking without serious performance regressions - Rust had to mak

WASM was designed to be fast enough to compete with native code and can't do integer overflow checking without serious performance regressions - Rust had to make the same tradeoff. Furthermore, induction and compiler optimizations can remove the need for such checks. Aren't you solving this at the wrong layer of abstraction?