1Codifies that the verifier should reject type-unsafe
2instructions in dead code after aget on null, but pass
3type-safe dead code.
4
5Previously verification stopped after aget on null and
6punted the method to the interpreter in an effort to avoid
7compiler crashes. As broken code appears very uncommon,
8ensure verifier strictness and help the compilers see more
9code.
10