Eliminate more trailing whitespace in examples/deep_matches

A prelude to another minor bug fix.
Fix more deep_matches files so that they compile.

Check compilation of non-theory files with a selftest file that
doesn't do anything except load the "lib" files.