Fix memory issues in bitvector theory, which is now valgrind-clean (mostly resolves bug #594).
Fix a memory leak in SatSolverRegistry (re: bug #594).
Remove some dead code.