[Git][ghc/ghc][wip/mangoiv/9.12.5-rc4] testsuite: allow metric decrease in WWRec