9_finalize-check-gap-overlaps: finalize_file returns are verified