I thought these last 20 updates were unnecessary.
Actually I think `test_size = num_tlogs * tlog_size - number_of_paxos_values_due_to_election_and_nops + 1` should be enough here, unfortunately `number_of_paxos_values_due_to_election_and_nops` is a bit hard to determine ;-), but it should `>= 1`.