policy: Quantitative quorum output?
Would it be useful to extend the quorum logic to also output a number saying how far we are from quorum? I think this would potentially be useful for monitors, and not anywhere else. One way to quantify it, which I guess actually is implementable, would be to output number n defined by
n >= 0: we reached quorum, and we could lose any n witnesses (but not more) and still reach quorum.
n < 0: we didn't reach quorum, and the smallest set of additional witnesses we could add to reach quorum is of size |n|.