Support more operators on Intervals.
Support more operators on Intervals.

- comparison of intervals with intervals (not just intervals
  with points)
- addition and multiplication - implement saturating semantics
  for these. Also fix our current multiplication bound.
- min and max

And add a bunch of tests. This is in preparation for more arith
simplification.
