[z3-five] Doctests and interfaces.

[Lennart Regebro]

Hmmm. I noticed when trying out doctests, that the effort to verify the 
interface implementations will consistently fail, because it will not 
find the aq_ methods.

Am I doing something wrong, is there a way around this, or will the 
interface verification of the doctests always fail?

It's not a big deal, but I think verifyClass is a good thing...

//Lennart