add verify functor
improve verify
add verification tests