Test that different permutations of an update give the same result.

add a validator, remove a validator, update a validator

-------------------------------------------------------------------

Check VerifyCommit, VerifyCommitLight and VerifyCommitLightTrusting basic verification.

TestValidatorSimpleSaveLoad tests saving and loading validators.

Tests that a validator proposes blocks when it's supposed to. It tolerates some missed blocks, e.g. due to testnet perturbations.

Tests that validator sets are available and correct according to scheduled validator updates.

Tests that a validator signs blocks when it's supposed to. It tolerates some missed blocks, e.g. due to testnet perturbations.

issue 32

TestWALCrash uses crashing WAL to test we can recover from any WAL failure.

TestWSClientPingPong checks that a client & server exchange pings & pongs so connection stays alive.

4 vals, 3 Prevotes for nil in the current round. What we want: P0 wait for timeoutPropose to expire before sending prevote.

4 vals, 3 Nil Precommits at P0 What we want: P0 waits for timeoutPrecommit before starting next round

4 vals, 3 Prevotes for nil from the higher round. What we want: P0 waits for timeoutPropose in the next round before entering prevote

This tests atomic write file when there is a single duplicate file. Expected behavior is for a new file to be created, and the original write file to

This tests atomic write file when there are many duplicate files. Expected behavior is for a new file to be created under a completely new seed, and t