A new programming language, Ivy, developed by Chain, claims to make it easier to write smart contracts on the Bitcoin network.