API to the ledger layer (#1023)
API for chain extension and block validation
Document the time-travelling headers.
Include something approaching a proof that this works.
- Implement ‘futureLedgerView’
This is the main component of the protocol API, though it would be good to perhaps move SlotBounded forward.
Add mempool API
Update nix stuff
Updates following review