Fix race in C++ demo where num_txs_broadcasted ++s before =0s