Length of the right spine of a leftist tree
This is equivalent to RANK-LT.
This function actually counts the length of the right spine of the tree. We will prove that this equals the rank of the tree.