Support terminating statement inspection.

Follows most of the specification at http://golang.org/ref/spec#Terminating_statements except for "break" statement detection in "for/switch/select" because it is too complicated.