I think there are some edge cases where you might want them, but for most situations they seem like they make things worse? When you do have a contract that a

I think there are some edge cases where you might want them, but for most situations they seem like they make things worse? When you do have a contract that a computer can execute, the value of having that contract executed on a machine owned by a 3rd party seems pretty low. At the same time, contracts frequently have undefined behavior and, when they do, courts step in to work out what to do. The option to stop or roll back a contract is usually a feature, not a bug.