Must ensure the consistency of a segment even if we are just about to free it, because the segment must pass the SegCheck inside SegFree.