chore: update to nightly-2025-06-19

[kim-em]

This is stacked on top of #471, which hasn't been merged yet.

There is still a failure here, in

-- Always keep this in sync with the description below. It ensures that the list is complete.
/--
info: #[`module.allImports, `module.bc, `module.bc.o, `module.c, `module.c.o, `module.c.o.export, `module.c.o.noexport,
  `module.deps, `module.dynlib, `module.header, `module.ilean, `module.imports, `module.leanArts, `module.o,
  `module.o.export, `module.o.noexport, `module.olean, `module.olean.private, `module.olean.server,
  `module.precompileImports, `module.setup, `module.src, `module.transImports]
-/
#guard_msgs in
#eval Lake.initModuleFacetConfigs.toList.toArray.map (·.1) |>.qsort (·.toString < ·.toString)

[kim-em]

In the grind branch I need a newer nightly, so I'm just going to merge this and update the #guard_msgs.

[david-christiansen]

There is still a failure here, in

Merging everything takes care of this, I think.

I just pushed a big Verso update, so I'll get that and this all merged in.

[david-christiansen]

Superseded by #476