This is a test that verifies that the tree is balanced, and doesn't go
over the red-black theoretical limit. It constructs a random large
million+ name zone and checks that the distance from every node to its
subtree root is within limit. This is a check that was not implemented
and we should have this as performance correctness proof, as the
DomainTree is so central to our memory datasrc performance.