Fix solvers manipulating opts parameter in always()

[gersseba]

Solvers are given a copy of obts, as they sometime manipulate the opts object. This should be refactored so that the always function create a copy themselves and do not alter the original opts argument. (see CommandLineZ3 always)