Bump proptest from 1.1.0 to 1.2.0 (#986) #2506

Job	Run time
Check (stable)	1m 42s
Check (1.65.0)	2m 56s
Deny (advisories)	1m 27s
Deny (bans licenses sources)	1m 29s
Clippy	2m 18s
Cross (aarch64-linux-android)	7m 18s
Cross (aarch64-unknown-linux-gnu)	8m 14s
Cross (aarch64-unknown-linux-musl)	7m 9s
Documentation	1m 34s
Format	25s
Hack	3m 37s
Tests	9m 6s
Tools	4m 40s
Lint markdown files	52s
	52m 47s

Provide feedback