This patch from Chris Manghane ensures that when verifying a pointer
type, we verify the underlying type.  This fixes
https://golang.org/issue/11547 .  Bootstrapped and ran Go testsuite on
x86_64-unknown-linux-gnu.  Committed to mainline.

Ian