Improved status reporting for solvers. When a solver is going slowly, you'll get a fair bit of output. If it's going fast there shouldn't be much input at all. Todo: use some kind of callback technique to get this information back to the GUI.