test_rbtree is a test module for checking the correctness of red-black tree operations. These tests are performed on red-black trees that store integers. Since the rbtree logic treats the comparison function as a black box, it shouldn't be important exactly what the key type is. Checking the correctness of traversals is based on the fact that a red-black tree is a binary search tree, so the elements should be visited in increasing (for Left-Current-Right) or decreasing (for Right-Current-Left) order. Also, this module does some checks of the correctness of the find, delete and leftmost operations.