Gurobi should default to verbosity 0 for consistency with other solvers.
Support for expr.get_value() in SAT where 'expr' is not a variable but an expression.

Useful and needed for optimisation problems.
Remove setVerbosity(0) from LinearTest.py