Fix #1207: Good toString for OptimizerOptions