Validate Discontinuity Tags

Checks that discontinuity tags are placed at program segment boundaries.