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