Limit var-elim, since we are allowing more TIME for it

We had it limited before, through time. That was lifted, but the too
much elim caused problems. Fixing them the right way now: through
limiting the % of active vars to elim