Solidity vs Ralph: Key Differences in Smart Contract Design