Some debugging and optimization of IntInterval/IntRangeSet. Seems to
work now!