Bump proptest from 1.7.0 to 1.8.0

Bumps [proptest](https://github.com/proptest-rs/proptest) from 1.7.0 to 1.8.0.
- [Release notes](https://github.com/proptest-rs/proptest/releases)
- [Changelog](https://github.com/proptest-rs/proptest/blob/main/CHANGELOG.md)
- [Commits](proptest-rs/proptest@v1.7.0...v1.8.0)

---
updated-dependencies:
- dependency-name: proptest
  dependency-version: 1.8.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

Cargo.lock

@@ -34,7 +34,7 @@ authors = [
 googletest_macro = { path = "../googletest_macro", version = "0.14.2" }
 anyhow = { version = "1", optional = true }
 num-traits = "0.2.17"
-proptest = { version = "1.7.0", optional = true }
+proptest = { version = "1.8.0", optional = true }
 regex = "1.11.2"
 rustversion = "1.0.22"