MongoDB: Update number of workers to 8 instead of 32.

Experiments show that 32 has too much overhead.