Interior / exterior distinction for BoundChecker

Currently, BoundsChecker asserts whether the entire sample space is a bound. This should be amended to consider interior and exterior separately and return two bools, or a struct containing the same.