Added blueHasGreenChildren = Both children of any blue node are green
Added areRootAndLeaveGreen = The root of the tree and all its leaves are green (and thus can be null).