Arbitrable stochastic games: three variations of the heads-or-tails game for bitcoin | Synapse