Don't need global DEFAULT_METRIC anymore.
Changes to get push_containing and push_intersecting leaves.

Not necessarily sure I like these.
Add push_contained_leaves.