Optimisation for lazy vertices.

A consensus vertex that receives a vote will always signal afterwards.
This guarantee allows the subproblem vertices to less often
self-schedule. Made the lazy vertex the default: all tests pass and it
offers better performance.