Add check for the last red-black tree property (count of black nodes to a leaf).