Verifiers to require analyzer and code fix implementations

While I was creating new test classes that implemented the verifiers, they depend on getting the proper implementations of analyzers and code fixes in order to work properly -- and if you forgot to provide those, the errors didn't make it clear that they were missing.