perf: memoize stuck type class resolution queries#14327

Kha wants to merge 4 commits into

masterleanprover/lean4:masterfrom

tc-stuck-memoleanprover/lean4:tc-stuck-memoCopy head branch name to clipboard