Add comment to test that assert was required to expose fixpoint error.

Add comment to test that assert was required to expose fixpoint error. #2706