Consider migrating tests from `quickcheck` to `proptest`

[hawkw]

The proptest crate has some significant differences from quickcheck which might be beneficial for our use case. See https://github.com/AltSysrq/proptest#differences-between-quickcheck-and-proptest for details.