Fixed some trivial bug with began_waiting_for_flush_ check in maximal_flushable_txn_set (sigh).