Merge "ART: Use templates for VerifyInstruction"