Breaks out IVerifier-classes into their own project.