update verifier
more tests