Add an option to highlight cells with an incorrect digit

[grantm]

This would assume that the solver managed to find a unique solution.

The option should be off by default.