Speed up heavy use of mapTotalResult#415

MaximilianAlgehed wants to merge 2 commits intomasternick8325/quickcheck:masterfrom

PR-tabulate-performancenick8325/quickcheck:PR-tabulate-performanceCopy head branch name to clipboard