Generative testing for consensus.ml #956
Description
Currently we have a handful of tests for consensus.ml that run through common scenarios. Since we have no proof of correctness of our consensus protocol, this is not ideal. There are many parts of the consensus state space these tests do not touch, but generative testing could make us much more confident. Currently all work related to this is held on branch automated-consensus