Refactor verifier to use Guice

Also throw an error if the configured type is unknown