Yeah have been checking out Taas and Tezos for a while now. Read the position paper on Tezos and I must say I am impressed. I really like their approach with a diff scripting language for formal verification, something Ethereum is missing. I will be buying the ICO on Tezos. But Taas ICO is over fyi.