Verification is changed to a new implementation. It works better to deal with axioms. One bug in match and one bug in hashlish are also fixed.