Smart contract auditor and fuzzer