hermit-verify 0.0.1

Verification tooling for Hermit deterministic execution (name reservation for the Hermit project).
Documentation 
1

Name reservation placeholder for `hermit-verify` — part of the Hermit/Reverie deterministic execution project (<https://github.com/rrnewton/hermit>). Real functionality will follow.