The section is really mean for examples of using the algorithm and typical output.   Putting in asserts isn't so useful for that.