Detect implicit returns in auto-return-types

[charliermarsh]

Summary

Adds detection for branches without a return or raise, so that we can properly Optional the return types. I'd like to remove this and replace it with our code graph analysis from the unreachable.rs rule, but it at least fixes the worst offenders.

Closes #8942.

[github-actions]

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Formatter (stable)

✅ ecosystem check detected no format changes.

Formatter (preview)

✅ ecosystem check detected no format changes.