Drop Redis dependency

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