Renamed flush_and_destroy_t to flush_and_destroy_txn_waiter_t.
Made pulse_pulsables handle declare_readonly case.