Removal of Ideal Uniproc. Model from Busy Interval Reasoning

Let's gradually remove the hardcoded ideal uniprocessor assumption from code reasoning about busy intervals.