Allow switching simplification algorithms with a flag
Allow switching simplification algorithms with a flag

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie