We should enable users to configure RocksDB. Also, we should expose some more RocksDB statistics as part of db.serverStatus();