[regalloc2] Lazily allocate intervals.