This means that in the majority of cases we can report errors in the
command line arguments prior to running the solver. This is a much
better state of affairs. Previously we had to wait many seconds (or
sometime more) before being able to report problems. Worse, with the
previous scheme the solver may fail to find a solution and so we'd
end up reporting that rather than the problem with the user's target.