Verification and hash chain checking are now fully integrated into our system, including incremental logging and checking. I need to rewrite the rules more carefully still, and test full-scale, but I think we're pretty much done. Addresses #47 and closes #41