This thread goes to show that there is need for better smart contract auditing. Otherwise investors, traders and the companies involved end up losing lots of money due to software bugs and vulnerability. Remember the DAO. Check out
www.aegissmartcontracts.com if you are interested in smart contract security. We are building a platform that will allow smart contract authors to conduct reasonably priced triple audits (expert audits, automated audits and bounty program audits) and get certified, meaning that users will have an easy time identifying smart contracts that have been thoroughly audited for all known bugs and vulnerability. Thanks.