Putzing around with semantic verification
More verification
Go isn't smart enough to figure out that these will always return
Update .travis.yml
remove dependency on testify
add visitExpressions
go fmt
Merge branch 'develop'

It's not like we can pretend master is stable right now.