Text this: Formal Methods for Smart Contracts