Cleaned up RandomSATSolver

No final commit, there is still work to be done!