@RISK/Evolver: Debugging RISKOptimizer and Evolver Models

To debug RISKOptimizer/Evolver: remove redundant constraints, ensure initial feasible solution, adjust penalty functions, and use Constraint Solver if available.