SI-7417 Diagnostic for unexplained assertion in presentation compiler.

We don't have a reproducible test for this, so the best we can
do is beef up the assertion to shine a little light on the problem.

Review by @dragos