build(deps): bump proptest from 1.4.0 to 1.5.0

[dependabot[bot]]

Bumps proptest from 1.4.0 to 1.5.0.

Commits

• ca308b0 Merge pull request #462 from mirandaconrado/master
• 0a53eda Merge pull request #467 from matthew-russo/macro-0.1
• 96a2dab Merge pull request #464 from matthew-russo/master
• f818fa2 Release : prep for proptest-macro 0.1.0 release
• e275f8a Release : prep for proptest-derive 0.5 release
• f87ec63 Release : prep for proptest 1.5 release
• 060cfbe [Doc] Arbitrary : add a note about the derive macro in Arbitrary's documentation
• 1426f0f Update changelog
• 7774b9c Detect empty ranges during tree creation
• 24412f5 Update compiletest_rs requirement from 0.10 to 0.11 (#455)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)