Formal verification of custom functional requirements for Ethereum contracts now available at your fingertips