Function is_valid_allocation 

pub fn is_valid_allocation(
    ranges: &[LiveRange],
    registers: usize,
    reg_of: &[(usize, usize)],
) -> bool

Re-check an allocation: every variable is assigned a register < registers, and no two simultaneously-live variables share one.