fix bug in and simplify gt_region_mapping_get_sequence_length()