Improve RA handling with multi-blocks
Currently register allocation is not very aware of multiblock and inserts a bunch of extra spills to make room for registers that will be jumped over.

LiveRanges need to be modified to follow branches.