Rename write_txn to rw_txn to make its meaning clearer.