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.

This was requested (among other places) in #1806.