Refactor verifier to use Guice

get the bootstrap from the injector and call stop