tests/format/junctions.py: Added tests for missing files across junction boundaries

These include assertions for the expected provenance in the errors,
protecting against regressions of #947