Merge "ART: Fix wrong hard-failure handling in verifier"