Combine the mempool, consensus, and execution engine prototypes together into a prototype Typhon. Ideally this would match the english spec and the formal spec.

Prerequisites

• Heterogeneous Narwhal Stateright Prototype #44
• Multi-Round Heterogeneous Paxos #54
• Execution Engine Stateright Prototype #51