Merge pull request #702 from google:dependabot/cargo/proptest-1.8.0

PiperOrigin-RevId: 810038245

Author: copybara-github

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"