circle_predicates: Add extra pruning to circle_intersections_upwards

Specifically, use both x and y components of the intervals.  Code
written by Forrest.