Separate parameter for objective value of solution

This means we now disable objective logging in tests, which massively
speeds them up.