Sudoku: Case Possible Numbers for Cell

[Bram28]

Verification of case rule does not work correctly ... transition always turns red with 2 cases ... and always green with 3 or more cases

[mmellone]

Also does not let you apply a case rule if there is a previous error in the proof. Not a huge problem, but it makes it difficult for testing...