[GHC] #10037: Several profiling tests give different results optimised vs. unoptimised