Added some debugging code and added a non-functioning wrapper for vec
in an attempt to use STL.  Didn't get it to compile though.  They do
some stupid stuff with dereferencing casting vectors and then dereferencing
them.  I hate this codebase.
Got the template in place to launch the random solvers
Added a check for the case where all guiding paths have already been
solved
Some initial work on the controversy metric has been completed
Deadlocks are mostly removed -- only need to deal with clause sharing
and it's done
Fixed (poorly) a circular #include.  Set up a simple clause sharing
implementation, but only exports are currently implemented.
Clause sharing appears to be working somewhat correctly.