The test is loading Agda into GHCi, modifying all the files and then reloading:
Before, with GHC-9.2
After, with these patches
Peak memory usage is halved.