Cache input -> output mapping

Implement a generic caching layer from inputs to outputs. This should let us support faster incremental compilation. It should also drastically improve the local development experience (ie, developing Hermes itself) by making it so that `cargo hermes verify`, when run on a previously-verified and unchanged input (which occurs frequently in integration tests), will succeed without needing to invoke Lean.