GUI: Integration bounding boxes obsolete?
Now that we have per-pixel shading of integration regions, the bounding boxes seem redundant. In particular, I'm not sure if the background region bounding boxes are meaningful. I think that these should be removed to reduce the complexity of the UI.