Refactor verifier to use Guice

I realize this is existing code, but why not just

    if (args.length > 0) {
        System.setProperty("config", args[0]);
    }

I don't think anything in `args` can be null.