finished is_valid_rb_tree()