Get some better errors when verification-based tests fail.