More unknowns tests for diff (#2140)

This separates the tests from
#2061 to make the
effect of the changes obvious.

The tests mostly focus around the way unknowns are displayed in diffs.

Some of the outputs here are very clearly wrong. I've annotated most of
them but they are all fixed in 2061