Starting Reverse Solver. Cleanups. Getting tests running on build server