Merging last host of changes into main branch. Key points:
Requests are now made by higher level programs to lower level programs. This is exemplified by trilevel_escape and bilevel_escape examples/ tests.
Overhauled example and test interface. Now Examples are included in module, and can be conveniently loaded through setup( ) functionality. Tests use this functionality.
Some of the "high_dimension" functionality will likely be broken now. I'm considering this okay, since next major milestone is implementing proper over/under approximation in intersection iterators.
Merging last host of changes into main branch. Key points: