Smart Contract Property-Based Testing Framework - View it on GitHub