hermit-verify 0.0.1

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