Implement shrinking for Arbitrary instances

[ci skip]