hermit-verify 0.4.0

Run-to-run verification harness for the Hermit deterministic execution engine.
hermit-verify-0.4.0 is not a library.
Visit the last successful build: hermit-verify-0.0.1