Bitcoin smart contracts are tricky. Minsc, a new language created by Bitcoin developer Nadav Ivgi, is making them easier to write.