Added a design note comment to Solver\Lab\Controller.
Fixed a bogus default parameter in ParamValidator.