For anyone reading this long after it was published (and hence long after it is editable):
Trail of Bits have released a suite of Ethereum security tools (including a fuzzer):
https://blog.trailofbits.com/2018/03/23/use-our-suite-of-ethereum-security-tools/
RE: Smart contract security