Refactor verifier to use Guice

Same