* src/vm/jit/verify/typecheck.c (verify_basic_block): Use generated

* src/vm/jit/verify/typecheck.c (verify_basic_block): Use generated
code.

* src/vm/jit/verify/typecheck-stackbased-gen.inc: New file, GENERATED!
* src/vm/jit/verify/typecheck-variablesbased-gen.inc: Likewise.

* src/vm/jit/verify/typecheck.h (typecheck_stackbased): Added.

* src/vm/jit/verify/Makefile.am: Added source files for both generated
verifiers.

* src/vm/jit/jit.c (jit_compile_intern): Call the stack-based verifier
for the interpreter.

* src/vm/vm.c (vm_create): Re-enable verification fot the interpreter.