Adds 'empty' tree for convenient use
Fixes error in rebalanceR function
Adds check for double blacks in checkInvariants