Fair point. While I think smart contracts are somewhat modeled after Western courts, the beauty of them is that they are predictable and deterministic. Doing v

Fair point. While I think smart contracts are somewhat modeled after Western courts, the beauty of them is that they are predictable and deterministic. Doing various sorts of forks is quite messy, so perhaps the ideal smart contract system would have another layer between VM and forking.