Eliminate some thunks in the simplifier.

While working on another MR I was looking at the core of the simplifier. I noticed produce thunks of the simpl env quite often.

It seems beneficial to force these eagerly instead. But let's see what CI says.