checkHomeModulesClosed is really slow

checkHomeModulesClosed seems to traverse all paths in the package dependency graph and this quickly becomes infeasible for larger graphs.

To reproduce, try to load Agda into a multi component session and notice that GHCi seems to be stuck before it even gets to compiling any modules.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information