The read_group collating user badge counts is extremely slow when there's a large number of users (possibly even slower than 8.0's naive approach), replace the whole thing by a single SQL query seems to yield pretty significant (~2 orders of magnitude) performance improvements on the computing function resulting in ~1 order of magnitude improvement for the page as a whole.