hermit-verify 0.4.0

Run-to-run verification harness for the Hermit deterministic execution engine.