Here we should still delete the options pointer, but before that make sure block_cache and filter_policy are cleaned up properly.