docs: translate crash-safe recovery and wait-free read guides English readers need both the data-structure argument and the database recovery design: readable KV structures alone do not establish WriteBatch atomicity. Translate the reasoning, failure model, configuration constraints, and benchmark evidence so readers can understand why existing MemTable files can be reused and when WAL replay is still required. Connect the guides to the existing documentation and their Chinese originals.