chore(deps): update rust crate proptest to 1.8.0#475

nextest-bot wants to merge 1 commit intomainnextest-rs/quick-junit:mainfrom

renovate/proptest-1.xnextest-rs/quick-junit:renovate/proptest-1.xCopy head branch name to clipboard