Blockchain fail-safes in space: SpaceChain, Blockstream and Cryptosat