wasm has a test suite which can be used to trigger a lot of corner cases. As an example, we used in in ppci like this: https://github.com/windelbouwman/ppci-mirror/blob/master/test/suite_adapters/test_wasm_spec_suite.py This is not really an issue, but more an idea?