Drop Redis dependency

[elf-pavlik]

Redis is no longer an open-source project: https://redis.com/blog/redis-adopts-dual-source-available-licensing/

Currently, we primarily use it via https://bullmq.io/ Hopefully, they will switch to an alternative, and we can follow easily.

• https://github.com/taskforcesh/bullmq/discussions/2484