Fix #1207: Good toString for OptimizerOptions
Merge pull request #1209 from gzm0/optimizer-options-tostring

Fix #1207: Good toString for OptimizerOptions