Add a safety proof about the one-message casper protocol
Add a safety proof about the one-message casper protocol

http://ethereumresearch.trydiscourse.com/t/casper-ffg-with-one-message-type-and-simpler-fork-choice-rule/103

pirapira/pos