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.