Regardless of how audited the code is, the DAO fiasco showed that the Ethereum miners will modify the "immutable" blockchain if it reaches an unpopular result, even when the bug is in a contract and not Ethereum itself.