refactor(various): Add type hints to couple modules in cabotage.utils and cabotage.celery packages

[Alc-Alc]

refactor(various): Add type hints to couple modules in cabotage.utils and cabotage.celery packages

build(redis): Major update from 7.4.0 to 8.0.1
build(typing): Add pyrefly and configure strict preset
build(typing): Add types-hvac
build(typing): Remove types-redis as redis v8 comes with better (but conflicting) type hints

Description

• Hopefully, add more type hints if the maintainers are ok with the approach. This can be done as part of this PR (might end up huge) or in gradual PRs.
• I didn't really have a plan when I started to add types, I just started with what I thought would be smaller modules 😅.
• Some str types can be changed to Literal['whatever'] and vice-versa. I am not confident enough with the domain to make the call, for the most part I defaulted to str unless I was sure.
• The type name themselves are open to bike shedding.
• Added Pyrefly for the following reasons
  • offers a "strict" mode
  • imo, caught a (possible) bug that ty failed to catch. This is the only functional change made.
• The current work can and should be revisited if merged as-is. There are some places where I ignored type errors. Just so I can cover more ground.

Reference to issue

Review request

Breaking changes

• Possible breaking change due to a redis update. Breaking changes from https://github.com/redis/redis-py/releases/tag/v8.0.0 do not seem to affect this repo, I maybe wrong.
• No other direct or indirect functional changes were done to the code.

[Alc-Alc]

For context, after adding Pyrefly (no other changes)
Initial: 7762 errors

As of this PR: 7421 errors

Reemphasizing that this is using the strictest mode it offers.