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