Support work stealing

[wjsi]

We may encounter slow nodes when executing on multiple workers. The initial assignment algorithm is not guaranteed to be optimal. The execution graph may have a larger output set than input set. Hence work stealing is important to further accelerate execution.

The implementation of work stealing should be based on #485 .