Rename SynthesisOptions to SynthesisSettings
Add example to a benchmark