new synth.synthesize arg: verbose
new function: synth.is_realizable