CBC Casper Proof-of-Stake Consensus Algorithm Liveness Issue