Convert comments into unit tests
Adding the isSBT function as a RBT must enforce the SBT properties
solve some warnings
remove warnings
adding binary search tree tests
improve fixme comments
Fix error on rebalance function which resulted in making all tests
regarding rbt properties ko
Adding rbt tests to the continous integration
Improve readability name for some tests