Merge "ART: Change UninitializedThis tracking in the verifier"