rbtree.c (rbtree_splitroot): Count output black-heights correctly.

rbtree.c (rbtree_splitroot): Count output black-heights correctly.

The root is black, so the default would be that the subtrees have
black-height one less.  But if their roots (exist and) are red, then
we'll blacken them, which increases the black-height by one again.