Test security properties for smart contracts & Detect vulnerabilities | Diligence Scribble & Fuzzing