Increase defalt chalk overflow depth to match max solver size

[lnicola]

TBC:

• overflow depth reached when opening file #12279: ok above 480
• "overflow depth reached" on find all references. #12182
• vscode rust-analyze always report "Request textDocument/semanticTokens/range failed." #12095
• impl causes RA to crash repeatedly overflowing stack #11902: ok above 350
• async_trait analyzing error: Request codeLens/resolve failed: overflow depth reached #11668
• 'overflow depth reached' panic during syntax highlighting, when using aes + ctr + cipher #11370: ok above 450
• "Find all references" not working on #[async-trait] trait #9754: probably ok above 250 (!), and the code in cause and branch are gone

Closes #12279
Closes #11902
Closes #11370
Closes #9754

[Perksey]

Setting this override in my environment worked flawlessly 🎉

[lnicola]

Thanks for testing. Since you're here, can you see if a smaller value (500, 750 etc.) works in #12279?

[lnicola]

This is a somewhat risky, but not a large change, and it's pretty easy to work around. And it should hopefully fix our metrics action.

@bors r+

[bors]

📌 Commit 8b56d42 has been approved by lnicola

[bors]

⌛ Testing commit 8b56d42 with merge 65a213c...

[bors]

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 65a213c to master...