PROPTEST_CASES=1000000 cargo test state --release