build(deps): bump proptest-derive from 0.4.0 to 0.5.1

Bumps [proptest-derive](https://github.com/proptest-rs/proptest) from 0.4.0 to 0.5.1.
- [Release notes](https://github.com/proptest-rs/proptest/releases)
- [Changelog](https://github.com/proptest-rs/proptest/blob/0.5.1/CHANGELOG.md)
- [Commits](proptest-rs/proptest@0.4.0...0.5.1)

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

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

Author: dependabot[bot]

Cargo.lock

@@ -68,7 +68,7 @@ kani-verifier = { version = "0.61.0", optional = true }
 
 [dev-dependencies]
 proptest = { version = "1.4.0", default-features = false, features = ["alloc"] }
-proptest-derive = "0.4.0"
+proptest-derive = "0.5.1"
 criterion = { version = "0.5", features = ["html_reports"] }
 
 [package.metadata.kani]