Text this: State-of-the-art survey of smart contract verification based on formal methods