The main reason being that we need a newer criterion version to pull
in fixes for bugs that affected our benchmarks and the easiest way to
get that was to bump the stack resolver which incidentally also
upgrades the compiler.

The performance implications of this change are:

  - Microbenchmarks stay more or less the same, parsing benchmarks
    seem to get a little bit slower.
  - Real-World benchmarks on PRISM examples seem to get a bit faster
    overall.