refactored Verifier type to be an interface backed by a DefaultVerifier to allow for remote calls and other such things