tree1gibbs() with centered ranges, provable bounds, and proving scaffolding.
Tidy scaffolding, removing GAP-measurements