Refactor verifier to use Guice

this is weird to hardcode `System.out`