Test cases that should be rejected by the method verifier.

NOTE: needs to run under ART.