Preliminary implementation of reinstalling revdeps in modular solver.
Track goal reasons for reverse dependencies.
Remove debugging output, fix warning.