chore: fix nightly testing to work with 2024-01-03

[nomeata]

• Bumping ProofWidgets to new release
• Bump aesop to include PR chore: adjust to lean4#3123 aesop#92 which fixes chore: remove unused argument at DiscrTree leanprover/lean4#3123 fallout
• Fixes chore: remove unused argument at DiscrTree leanprover/lean4#3123 fallout
• nth_rewrite may need different number
• The ProofWidgets release contains oleans which may throw off the lean4checker pass. The workflow just removes them, cache get will get those that are needed.

[nomeata]

It’s green again! Merging this into nightly-testing will get give back the ability to test mathlib against lean PRs. And maybe Scott will be happy to see that not everything breaks and stays broken when he’s on holiday.