Paging @tdanford ; if we have a properly formed sequence dictionary for the reads we are looking at, these invariants hold.