Simplification: cutting down on SplayTree's `splay` complexity.