verifier updated + tests
test stubs. just for type checking
stubs for tests