Hey, great post, but

The major feature of a binary tree is that any key is less than the root key in the left subtree and more than the root key in the right subtree

Ehm, am I missing something or shouldn't it be exactly the other way around?