Merge "ART: Cache AoT state in verifier"