Text this: Verifying liquidity of recursive Bitcoin contracts