Bundled both smt and mcsat in sat_solve; updated the tests in Makefile