Prototype tree-building simulation for improved shrinking, scheduling (e.g. fair scheduling) and visual output. I'm not sure the trees currently show exactly what we want then to show currently, and the shrinker is not yet as good as it could be.