Reworked next/prev prob/soln code to be cleaner, support non-functional solutions. Fixed benchmark mode to understand partial support for tests. Minor cleanup of problem shutdown in the dynamic streaming case.