This checks a case where javac generates code that stores a byte into a
boolean field. The code as generated should not pass the verifier, so the
verifier had to be "loosened" to allow this case.