I'm not the right person to ask, as I don't believe that there's a way to somehow make software bug-free enough to deal with huge amounts of money for an indefi

I'm not the right person to ask, as I don't believe that there's a way to somehow make software bug-free enough to deal with huge amounts of money for an indefinite amount of time. However, it seems that enough people think that "do the right thing automatically unless someone steals millions, in which case revert it" is a good compromise.