Fix broken doubles tests.

Was using one of the tests that I deleted to test that the proof runner
would correctly report duplicate files.

See #232.