Make reduction in `eliminate` configurable.

It's not strictly necessary, and I wanted to know how it affects
performance -- it turns out that it's better with S and GR to not reduce
when eliminating.