Merge "ART: Add null type to verifier"