Add failover tests to check simultaneous node down cases
Merge pull request #1 from ikehara/failover_test

Add failover tests to check simultaneous node down cases
Split Main.hs into smaller files
Split protocol tests into smaller chunks
Split QuickCheck properties in another file
Removed unused reference to the "split" package
Merge pull request #2 from benjamin-surma/refactoring

Separate tests into smaller chunks