Better coverage for Arbitrary[Option[A]]

Make sure that we sometimes generate None when size > 0.