[ testing ] Investigate Agda's caching mechanism

[gallais]

Running the test suite incurs a lot of rebuilding of the stdlib. We are probably
breaking a lot of sharing by inadvertently using different flags in various places
and should investigate (ideally improving Agda's tracing of the rebuild reasons
in the process).