Refactor error reporting and other context helpers into VerifierContext interface.