Quantstamp - protecting against the next DAO hack