Move validateSolution back to alphametrics.sml where it belongs.