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!