Refactor verifier to use Guice

It is weird to manually dig through the injector and get all the dependencies of `Verifier`. Why not just create it via Guice?