better integer and nat shrinks
Merge pull request #50 from jsverify/better-shrinks

Resolve #26: better integer and nat shrinks