Merge "ART: Do not run verification under lock" into nyc-dev