Simplification: trying to tame `SplayTree::splay`.

Also adjusted whitespace and method ordering.