Example.__init__: this cannot use assert, because that fails to trigger

in a -O run, and so test_doctest was failing under -O.  Simple cause,
simple cure.