Errors Found in Distributed Protocols

Thanks for this awesome list.

Coincidentally, we've just launched a $20k consensus challenge for Viewstamped Replication: https://github.com/coilhq/viewstamped-replication-made-famou...

We don't implement the Reconfiguration Protocol yet which I believe is the correctness violation found by Ports et al.