In mongos, we shut down the Grid's executor pool. We don't do the same for mongod which can lead to leaks.

We should at least shut down the executor - I'm not sure if we want to join it or not though since it might take a little while to join and that would slow down shutdown.