Commit from before the inference verifier was written to remove all the

checks. This version should nearly perfectly emulate the behavior of the
actual JVM's inference verifier.