Made set_data never use apply_patch.
Made move_data never use apply_patch.
Added guarantee in flush_acquire_bufs that asserts that all dirty bufs (not counting recency_dirty) have buf_needs_flush true.
Added assertions to ensure_flush about dirty status and data_token status of ensure-flush buffers.
Stripped out the needs_flush_ variable.