Update Solver class

  - Add createWatchlist() that will create a watchlist for the Solver object. The watchlist allows for more efficient algorithms to solve SAT objects.