* src/vm/jit/verify/typecheck-typeinferer.c: New type inference pass.
* src/vm/jit/verify/typecheck-typeinferer.h: Likewise.
* src/vm/jit/verify/typecheck-common.c: Moved code from typecheck.c
that can be shared between the variables-based verifier and the
type inference pass to this file.
* src/vm/jit/verify/typecheck-common.h: Likewise.
* src/vm/jit/verify/typecheck-multianewarray.inc: Moved code for
type checking/infering MULTIANEWARRAY to this file.
* src/vm/jit/verify/icmds.c: Adapted for generating the type
infererence pass.
* src/vm/jit/verify/typecheck-invoke.inc: Likewise.
* src/vm/jit/verify/typecheck-fields.inc: Likewise.
* src/vm/jit/verify/typecheck.c: Likewise.
* src/vm/jit/verify/Makefile.am: Likewise.
* src/vm/jit/verify/typecheck-builtins.inc: Likewise.
* src/vm/jit/verify/typecheck-typeinferer-gen.inc: Generated.
* src/vm/jit/verify/typecheck-stackbased-gen.inc: Regenerated.
* src/vm/jit/verify/typecheck-variablesbased-gen.inc: Regenerated.