build(deps): bump proptest from 1.2.0 to 1.3.1 (#934) #1757

Job	Run time
build (1.65.0, thumbv7em-none-eabi)	4m 6s
build (1.65.0, wasm32-unknown-unknown)	4m 13s
build (stable, thumbv7em-none-eabi)	1m 2s
cross (armv7-unknown-linux-gnueabihf, 1.65.0)	7m 22s
build (stable, wasm32-unknown-unknown)	1m 10s
cross (armv7-unknown-linux-gnueabihf, stable)	2m 24s
cross (aarch64-unknown-linux-gnu, 1.65.0)	5m 38s
doc	42s
test (i686-unknown-linux-gnu, 1.65.0, sudo apt update && sudo apt install gcc-multilib)	6m 20s
cross (aarch64-unknown-linux-gnu, stable)	2m 7s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	3m 53s
cross (powerpc-unknown-linux-gnu, 1.65.0)	5m 38s
test (x86_64-unknown-linux-gnu, 1.65.0)	5m 53s
cross (powerpc-unknown-linux-gnu, stable)	2m 49s
test (x86_64-unknown-linux-gnu, stable)	2m 14s
	55m 31s

Provide feedback