Add support for go and defer statement checking.

Needs bugfix in go/types.
Update GH-30.