Does aeternity support solidity also for the smart contracts? or just sophia? And It seems that main net will not be delivered in August.