Updated more tests.

These were confirmed to yield the same dvis as the originals,
so any changes are semantically insignificant.