be less agressive with map/e's bijection check

limit the checking to relatively small elements
of the enumeration to avoid possible performance problems