連投で申し訳ありませんが、moveUp(), moveDonw()の仕様を根本的に勘違いしていました。

bookを読むと　同じ枝の中で順番を上に上げるのがmoveUp()なのですね。

僕はそもそもmoveUp()したノードは「一つ階層を上がって、今までの親ノードと同じ階層に来る」
ということを実現するものなのかと勘違いしておりました。

申し訳ありませんでした。しかしverify, recoverをshellから実行するなどの貴重な情報が得られて
感謝です。