build(deps): bump proptest from 1.2.0 to 1.3.1

Bumps [proptest](https://github.com/proptest-rs/proptest) from 1.2.0 to 1.3.1.
- [Release notes](https://github.com/proptest-rs/proptest/releases)
- [Changelog](https://github.com/proptest-rs/proptest/blob/master/CHANGELOG.md)
- [Commits](proptest-rs/proptest@v1.2.0...v1.3.1)

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

Signed-off-by: dependabot[bot] <support@github.com>

k256/Cargo.toml

@@ -36,7 +36,7 @@ ecdsa-core = { version = "0.16", package = "ecdsa", default-features = false, fe
 hex-literal = "0.4"
 num-bigint = "0.4"
 num-traits = "0.2"
-proptest = "1.2"
+proptest = "1.3"
 rand_core = { version = "0.6", features = ["getrandom"] }
 sha3 = { version = "0.10", default-features = false }
 

p384/Cargo.toml

@@ -32,7 +32,7 @@ criterion = "0.5"
 ecdsa-core = { version = "0.16", package = "ecdsa", default-features = false, features = ["dev"] }
 hex-literal = "0.4"
 primeorder = { version = "0.13", features = ["dev"], path = "../primeorder" }
-proptest = "1.2"
+proptest = "1.3"
 rand_core = { version = "0.6", features = ["getrandom"] }
 
 [features]