fix(dsolver/icp_solver.cpp): use LOG(INFO) to call pprint_vars/lits
fix(opensmt/smtsolvers/SMTConfig.C): verbosity level