add "tol=" in toString(), which is necessary to avoid crash
delete arg(), VerboseVisitorType, and TimingVisitorType for avoiding crash; arg() use libdai::MF::findMaximum() but not implemented.
fixing small errors