spec: Upgrades, forks, rollbacks, etc

We should write a list of scenarios that require upgrades and hard/soft rollbacks, forks (including starknet resets), and then spec the support required (consensus engine vs execution engine)

