Merge "Converting some TAPL sequence mismatches to human-readable diags." into sc-dev