Further testing.
Add tests for Verifier.