Added logic for failures of Proposer and Acceptor. Removed Account class. Fixed a bunch of threading issues. Overall, an almost fully working code.