Optimization: build(): root-children-label-set added to minimize splay operation; Performance fix child_on_letter: avoid unecessary splaying when label-path is 0