Fix nodebatcher to be simpler and more efficient (#487)

The current node batcher implementation is both overly complex and not very efficient. This simplifies the code by just using a simple mutex, which also improves its performance a great deal.

Author: Steven Karis