Finally: enable the asserts that assure very conservative integrity checks.
Add another expected to pass construct for null deref.
Loosen the asserts due to not well-enough-understood behavior in clang. Maybe
it's a bug or it is a feature.