SegmentSet: addAll for Segments object
coresolvertest: use boost::unordered_set to compare Segments for speed (yes, this works now. sigh). Options to disable specific tests