Add an assert

An attempt to help diagnose 9257, if it happens again.