added check for consistency of Sequence span vs exon span