Rename RandomGrabHashSet.add() to RandomGrabHashSet.addOrThrow():
- This stresses the fact that unlikely common Set.add(), this function will throw if the element is already in the set. Thanks to Bombe, bertm et al.