Defending against malicious reorgs in tezos proof-of-stake.