Adopt proptest version range (>=1.0,<1.7) and roll back Cargo.lock#177

Merged

dmidem merged 1 commit intozsa1from

fix-proptest-version

Jul 28, 2025

Commits on Jul 24, 2025

Replace proptest =1.4.0 with >=1.0,<1.7 in Cargo.toml and restore pre-#175 Cargo.lock
dmidem
committed