experiment: try recording all name resolutions

[Kha]

No description provided.

[Kha]

!bench

[leanprover-radar]

Benchmark results for 8f10d90 against 5306a34 are in! @Kha

Major changes (1)

• stdlib//instructions changed by +0.3% (🟥).

Minor changes (5)

• Init.Data.BitVec.Lemmas re-elab//instructions changed by +0.5% (🟥).
• size/libleanshared.so//bytes changed by +0.4% (🟥).
• size/stdlib/.c//lines changed by +0.2% (🟥).
• size/stdlib/.ir//bytes changed by +0.3% (🟥).
• size/stdlib/.olean.private//bytes changed by +0.3% (🟥).