Should not pass `--resolve` when synthesizing

[vizziv]

I think we want synquid --resolve for flycheck but not for synthesis (the C-c C-c binding).

[cpitclaudel]

Thanks!