Update CompressedSet.h