Witnesses.cpp can now be mostly dumped to XML.