added more statistics to quickXplain
changes to algebraic solver heuristic and enabling slicer when only core theory