Increase reductions, but reduce aggresiveness of futility pruning before that.

This is experimental, and the combination of changes is not really tested.