Consider implementing proptest's Arbitrary, gated by a "proptest" feature flag

[HadrienG2]

This would be very convenient when using proptest for property-based testing.

[VoidStarKat]

Merged #111, which adds this under arbitrary feature flag