Use seed and maxMontecarloRuns for both simulation and solver.
Fix "Synth" action names.