vector-clocks

add test.ivy, exhibiting unsoundness

add liveness + Makefile

Merge pull request #1 from plredmond/main

notice a bug

switch to broadcast (do not remove messages from sent); add delivery predicate guard; add causaldelivery invariant