Enforce invariant: mapGroup iterators all nonempty

Previously not all fixes in mapGroup were covered
To elaborate, my test breaks without the fix on IdentityReduce, but I think it is prudent to add the guard to enforce the mapGroup invariant that the iterators are empty in all places including UnsortedIdentityReduce and IdentityValueSortedReduce