Swap more ok-op's out for their knossos.op counterparts
~80% perf improvement using vectors, not concat, in advance-world
Explode then prune worlds independently before reinjection
More aggressive world caching
Automatically size threadpool
Significantly reduce contention on prioqueue

I was concerned about uneven queues, but it turns out that this approach
is significantly faster and doesn't appear to cause significant
stalling.