> is it the case that if the current check passes incorrectly 
> one will always get a segfauilt or other error?

Yes, that is the case.  All four of these checks precede a reference to an structure member that depends on being an exact type or subtype.  So, yes they are all necessary to prevent segfaults or other undefined behavior.