Shrink slowly when an int is under 10

When shrinking integers, the powers-of-2 reduction is great for large ints, not so great for small ones.
For ints of 10 or fewer, it's useful to reduce by 1 at a time.

Before this change, 2.shrink = 0 ... and there's often a big difference between 0 and 1.