feat: upstream unreachableTactic linter#13580

wkrozowski merged 4 commits intoleanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/unreachableTacticwkrozowski/lean4:wojciech/unreachableTacticCopy head branch name to clipboard