Those assertions are invariants so that the test fails with a meaningful error message rather than raising IndexError or what have you.