The State of Smart Contract Development