chore(deps): update rust crate proptest to 1.3.0

[renovate[bot]]

This PR contains the following updates:

Package	Type	Update	Change
proptest (source)	dev-dependencies	minor	1.2.0 -> 1.3.0

---

Release Notes

proptest-rs/proptest (proptest)

### [`v1.3.0`](https://togithub.com/proptest-rs/proptest/compare/v1.2.0...v1.3.0) [Compare Source](https://togithub.com/proptest-rs/proptest/compare/v1.2.0...v1.3.0)

---

Configuration

📅 Schedule: Branch creation - "before 4am on the first day of the month" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• [ ] If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.