Merge "ART: Propagate verifier failure types to the compilers"