fix: teach Exception.isRuntime to detect nested errors#11490

eric-wieser wants to merge 3 commits intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:throwNestedTacticEx-tagseric-wieser/lean4:throwNestedTacticEx-tagsCopy head branch name to clipboard