Print solver parameters on -v3.

Before the solver is invoked, the parameters will be printed
if high verbosity has been selected.

This includes constraints and preferences.