Better coverage for Arbitrary[Option[A]]
arbOption: Generate None with a probability that shrinks with the size

Also:
- Comment explaining why we use frequency() in arbOption.
- Better name for the property testing it.
Merge pull request #76 from j3h/arbitrary-option-coverage

Better coverage for Arbitrary[Option[A]]