Increase the number of workers to 4 per box

Up from the default of 2.