I see a different problem here: Ethereum and the DAO were not in a mature state to handle this amount of money. For example, there is a limited support for upgrading contracts in Ethereum and the DAO was not reviewed enough to handle hundreds of million dollars.
Also, there are methods to make the software ultra secure using formal models.
Also, there are methods to make the software ultra secure using formal models.