Ask HN: Writing tests for a consensus algorithm implementation

I'm looking for ideas when writing tests for a consensus algorithm implementation to verify various properties of the algorithm.

Please share your experiences/recommendations about libraries/frameworks/tools/stacks being used.

Many thanks!