[tuples] Some adjustments to type verification

[Diego Novillo]

This fixes my oversight in the type verification code.  I had disabled
some of the type casts that are done in mainline.

The patch also renames the verifier functions to make clear that these
are for type verification.  There are other functions for GIMPLE
verification that should probably be unified with these.

Tested on x86_64 and x86.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20070831-fix-type-checking.diff
Type: application/octet-stream
Size: 44223 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070901/98cb2310/attachment.obj>