Bump proptest from 1.4.0 to 1.5.0 #2921

Job	Run time
Deny (advisories)	24s
Deny (bans licenses sources)	23s
Check (stable)	1m 25s
Clippy	1m 2s
Check (1.70.0)	1m 14s
Hack	1m 40s
Format	8s
Tests	5m 8s
Cross (aarch64-linux-android)	2m 21s
Documentation	1m 1s
Cross (aarch64-unknown-linux-gnu)	2m 19s
Lint markdown files	48s
Cross (aarch64-unknown-linux-musl)	3m 10s
Tools	2m 8s
	23m 11s

Provide feedback