VerifyState throws an exception if as a result of verifying an instance state a member is added or removed from the replica set, because that changes the collection while it is in the middle of enumerating over it. It should make a copy of the collection and enumerate over the copy.