Run doctests verbosely, add test driver script.