[semidet]is_rbtree(@Term)True if Term is a valid Red-Black tree. Processes the entire
tree, checking the coloring of the nodes, the balance and the ordering
of keys. Does not validate that keys are sufficiently
instantiated to ensure the tree remains valid if a key is further
instantiated.