Renaming *Verifier to DatabaseVerifier.