changed testing script a bit. It's better now.
wrote some notes about the Garanzha paper
wrote some code, got disheartened, might go and look at bounding interval hierarchies instead