Verifying Liquidity of Bitcoin Contracts