Don't call MVTSegFree from MVTFinish: we don't know whether or not there was any fragmented (unavailable) space in this segment, and so we can't keep the accounting correct. Add assertion in MVTSegFree that detects incorrect accounting.