Support reporting reasons for solver responding with UNKNOWN

[delcypher]

Right now if the solver times out this information is not communicated. We should provide an interface for getting this information and report when this happens to aid debugging.