Also, fix the wasm testsuite harness to run the verifier with a TargetIsa so that it catches problems like this.