A checklist for auditing programming languages designed for blockchain environments - View it on GitHub