Increase verbosity level in normalization().
Doctests: Delete/comment out/fix doctests. They now all pass. This is convenient!