Irred&red dumping moved to Main, updating Solver to reflect this

Much cleaner, it's Main's responsibility, not the solver's to get the
dumping done correctly. Solver only needs to exit cleanly, which it does
well.