RBNode.rotateR

Rotate right. This performs the following operations:

• The left child becomes the parent of this node.
• This node becomes the new parent's right child.
• The old right child of the new parent becomes the left child of this

node.