* src/vm/jit/verify/generate.pl: Added options --typeinferer and