Ark Labs builds options, lending, and exchange products on Arkade, a programmable extension of Bitcoin.