Introduce concurrent Redis-backed workers

We've made a lot of other changes along the way.