Red-black tree assertions.