Related to #1, but this issue here should expand specifically on wasm checking/verification. This should enable to: - Make sure that no extra, unspecified extern function exists in the compiled wasm - etc
