Describir: Validation and Verification of Smart Contracts: A Research Agenda.