Fix regression of TYPE-INFO-VALIDATE-FUNCTION.

The INFO transforms of revision 19088e27 silently made the
sanity test a no-op due to a stray apostrophe and no assertions.