Merge "Add more details to verifier dumping for gAborting" into pi-dev