Test that an aput on a null array is properly checked
by the verifier.