Bump proptest from 1.3.1 to 1.4.0 (#289) #762

Job	Run time
cross (aarch64-unknown-linux-gnu, stable)	2m 27s
build (1.65.0, thumbv7em-none-eabi)	5m 46s
build (1.65.0, wasm32-unknown-unknown)	3m 55s
build-benchmarks	3m 58s
build (stable, thumbv7em-none-eabi)	30s
cross (powerpc-unknown-linux-gnu, stable)	3m 34s
clippy	18s
build (stable, wasm32-unknown-unknown)	27s
doc	22s
dudect	6s
rustfmt	7s
test (i686-unknown-linux-gnu, 1.65.0, sudo apt update && sudo apt install gcc-multilib)	5m 8s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	1m 42s
test (x86_64-unknown-linux-gnu, 1.65.0)	4m 50s
test (x86_64-unknown-linux-gnu, stable)	1m 14s
	34m 24s

Provide feedback