I'm confused: if the local node computes that the cyber invariant is false, then a peer says "no it's true," we accept that it is true?  Or vice-versa?  Let's talk about this; it seems wrong.

I'm not convinced that `m_cyberInvariant` is needed at all: why can't it be computed on the fly like the physical invariant?