Taxation in the Age of Smart Contracts: the CryptoKitty Conundrum