A benchmark and harness for finding and exploiting smart contract bugs - View it on GitHub