I think a blockchain protocol testing framework is sorely needed. Jepsen does not support primitives like proof-of-work and stake, so it is really hard to test

I think a blockchain protocol testing framework is sorely needed. Jepsen does not support primitives like proof-of-work and stake, so it is really hard to test the various tradeoffs inherent in any protocol.