ATSC bit stream verification