08固定不同整数键，只做search；失败伸展最后访问节点。
python3 examples/advanced-algorithms/check_splay.py
单位权重访问引理有限数值检查，容差1e-9。
18192次穷举查询；1024节点链访问1024、旋转1023。
计数不是计时；任意初树总成本保留初始势能项。