Added isRed(), isBlack(), isDoubleBlack(), checkCases(), restructureRightBlackChildWithOneRedGrandchild(), restructureRightBlackChildWithBothBlackGrandchild(), restructureRightRedChild(), and test codes for case 1a, 1b, 2a, 2b and 3