06 AVL多重集：rank返回严格小于键的元素数；select使用1基。
榜单键(-score,id)，榜单rank=AVL.rank+1。
运行python3 examples/advanced-algorithms/check_avl.py。
有限检查9336条序列、45324操作、1374次旋转；不是一般证明。
validate是线性审计，不计入容器更新的对数界。