Add a checking routine for the red-black property (not finished yet).