Remove main method from Verifier

There is main method in Verifier, it is undocumented feature and probably not used.
Verifier should be called form test code not from command line.

We can also remove code used only for it.

Code use in main method parse arguments for command line.