Added batch processing to all other message pumps (started with just EventMessagePump; now all the others work like that).