Merge "ART: Rerun the verifier for compile-time failures"