Merge pull request #725 from google:dependabot/cargo/proptest-1.9.0

PiperOrigin-RevId: 824493735

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.8.0", optional = true }
+proptest = { version = "1.9.0", optional = true }
 regex = "1.12.2"
 rustversion = "1.0.22"