Added verification methods and tests for izverifier.