sec3 - Security Auditing and Monitoring for Smart Contracts