Added batching for thread pools; better CPU utilization with simple,
quickly executing models by reducing lock contention.  Possible
regression with models that are memory-intensive at init time; added
configurable job size.