Add URIs to the QuickCheck generators.
Mention what we are currently missing out on.