In order to run database cleanups and diagnostics, we should have a means for pruning a database---even if LevelDB does this for us.