Pass --batch-size to LabelMapBuilder'
The default batch size is the system's total memory divided by ~100 bytes, which makes LabelMapBuilder take over a minute on Jenkins while using a significant amount of memory. With this change, it will use the batch_size configured in tests, which is 1000