Update shrinks doc
Update generator doc
Update functions doc
Merge pull request #64 from jsverify/shrink-doc

Update shrinks doc