perf: mark entire reported info tree as persistent

[Kha]

As we can definitely not free it until .ilean generation at the very end

[Kha]

!bench

[leanprover-community-mathlib4-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 958ad2b54bc7151dfc702e9a85a32584c2f49cca --onto f3e7b455bbd4ea39376e0928d0d6cb8d26bd0ba3. (2024-08-14 12:49:48)

[leanprover-bot]

Here are the benchmark results for commit 225335d.
There were significant changes against commit 958ad2b:

  Benchmark          Metric       Change
  ================================================
+ lake build clean   task-clock    -4.2% (-11.6 σ)