Beacon-chain friendly CBC Casper

To clarify, the no double vote slashing condition remains as well. The evidence provided here is just two signatures on different blocks in the same epoch.