Merge "ART: Fix verifier dumping, add hard-fail dumping"