Improve implementation of symbolic int comparison operators.

In some cases in Sketch, we see a 2x performance improvement from these.
They also make a lot more sense than what we had before.
Fixed some deprecation warnings.
Moved smten-lib solvers to Search/Solver from Symbolic/Solver.
Moved yices1, stp, and minisat solvers to Smten.Search.

This, hopefully, gets rid of the last of the false deprecation warnings.
Fixed broken cabal files (untested)
Moved Smten.Symbolic0 to Smten.Search.Prim.
Make a smten-base.hs file to track modules which need to be generated.