In-order traversal, bug fixes for BST property.

Corollary of Murphy's law: If you statically check all but one invariants,
you will always have a bug that breaks that one invariant.