Removed the function ensure_flush.
Made leaf node and internal node functions take node pointers instead of buf_lock_t's.
Removed unused fake_key_modification_callback_t.
Removed key_modification_proof_t::fake_proof and fixed its uses.