fix bug in halAlignability and halPhyloPMain where more than the total length could be computed due to a bug in chopping into sequence coordinates