test

Bump proptest from 1.0.0 to 1.4.0 #214

Job	Run time
Verify benchmarks compile	51s
Run the big ignored tests	1m 17s
32bit tests	52s
Clippy lints	19s
Check documentation links	12s
Check formatting	7s
Build & test (ubuntu-latest, stable)	39s
Check it compiles on old Rust (1.31.0)	3m 19s
Build & test (ubuntu-latest, beta)	54s
Miri checks	31s
Build & test (ubuntu-latest, nightly)	17s
Build & test (macos-latest, stable)	1m 10s
Check it compiles on old Rust (1.45.0)	11s
Build & test (macos-latest, beta)	1m 0s
Thread Sanitizer checks MacOS	44s
Build & test (macos-latest, nightly)	29s
Build & test (windows-latest, stable)	2m 24s
Build & test (windows-latest, beta)	1m 56s
Build & test (windows-latest, nightly)	53s
	18m 5s

Provide feedback