mps_simplify_many.cc is now controlled by MPS_DEBUG_SIMPLIFY flag in flags.h
Tolerance in mps_simplify_many.cc is now obtained from flags.h