Upcoming paper: Verifying liquidity of Bitcoin contracts