verification_explain tidy up
clean up
updated tests, added some new basic tests