ZX

Running on the latest evm2wasm `50ef430f4e225a864f21d7e50fd4e8b4dd0ec9bf` "Fix CALLCODE and add a test for it" reduces this list to 12 failures

ewasm/evm2wasm#272 `7aaba71` and ewasm/evm2wasm#193 fix some of the tests above CC @axic @cdetrio @jwasinger

I am running on 1.32.0-nightly, fmt fails at deployer.rs etc in CI, it passes CI when I only commit verify-instructions related files.

@jakelang it should be ready as it is unless @Steampunkery has something to add, we don't have access to add labels.

@axic please proceed, we are unlikely to work on this in the immediate future. thanks

WASM specifies semantics [here](https://webassembly.org/docs/semantics/) and pwasm does checking in places like [here](https://github.com/paritytech/parity-wasm/blob/ffc43f9d040f50fd670d8b3b13c8c04475528cda/examples/exports.rs#L13-L16) but not in the module [itself](https://github.com/paritytech/parity-wasm/blob/ffc43f9d040f50fd670d8b3b13c8c04475528cda/src/elements/module.rs#L221-L226). Is the goal of this module to have those semantic validation as...

@Steampunkery and I implemented verification for a subset of numeric instructions in our [fork]( https://github.com/zixuanzh/wasm-chisel/tree/verify-instructions). parity-wasm checks types for [const operators](https://github.com/paritytech/parity-wasm/blob/ce343b47d4dc7f00df7f4fbc6c54f8a6bcc168c1/src/elements/ops.rs#L163-L166) but not for binary as specified in the [spec](https://webassembly.github.io/spec/core/syntax/instructions.html#syntax-binop)....

Sorry for the late response here, fast, cheap, and frequent retrieval is important but the unique value prop of Filecoin, at least right now, is on verifiable storage. Any agent...