* HashSet.cs (Enumerator.IEnumerator.Reset): Check invariants.