Add code to renumber split intervals into new vregs. This is disabled for now until...