a695e291fa
For consistency with other places, we have now settled on `VerificationViolation` as the best way to express this situation.