This is a complex issue with no easy solutions. Next to none smart contracts will be be bug free so major bugs will happen.
In theory there should be some roll back procedure but the problem is how do you police it and who does the policing. It could potentially open the door to "too big to fail". If the ledger is no longer immutable it kind of defeats the reason for using a block chain.