Refactor verifier to use Guice