work queue batch interface now uses BATCH_OPTIONS
Fixed bug in update_status() that incorrectly reported workers with tasks assigned as ready (not busy) if the tasks consumed no cores.