Leo de Moura adds option to run grind on Sym.simp normalizer