Refactor verifier to use Guice

More evidence we should move this to airlift