Verify LiveIntervals against the CFG, ensuring that live-in values are live-out