Lab03a: Tests are passed on a 2-core laptop. There are issues on a 6-core workstation; don't know why yet...
Lab03a: Fixed the bug. All tests passed on 6-core machine. Paxos is brillient!