Selfish Behavior in the Tezos Proof-of-Stake Protocol