Fixed documentation in verifier. Also cleaned up some code some more