dag2dot: Change default to omit size parameter

The default used to be size="8,10", but it turns out that if you
do that, then the PNG generated by dot ends up with very low
resolution and is unreadable for most non-trivial workflows. It is
better to leave the size up to dot.
dag2dot: Add some daxes to test dag2dot