[Bro] effects of &synchronized and &mergeable

[Siwek, Jonathan Luke]

>> If a host is in the table and one node deletes it while another node
>> increments it, is the resulting value always either 0 or 1, or can
>> the value be old_value + 1?
> 
> Now it's getting tricky and I'm not quite sure off the top of my head,
> but I believe this leads to a race condition and depends on order of
> the operations (per the paper linked to above, we deliberately accept
> race conditions and do a "best effort synchronization").

Was doing some code skimming and found that the "remote_check_sync_consistency" flag and "remote_state_inconsistency" event might be something that can at least be used to check if an operation has led to inconsistent state.

    Jon