blperez01 Merge branch 'master' of github.com:trailofbits/not-so-smart-contract…