Homu queue woes, and suggestions on how to fix them

[nikomatsakis]

@nnethercote

The downside is that it roughly triples machine time. I’m working on the assumption that running sufficient machines in parallel is possible and not too expensive; let me know if that’s wrong.

I think that the reason we've shied away from this before is literally cost, but @alexcrichton would know better