Efficient and consistent inference of ancestral sequences in an evolutionary model with insertions and deletions under dense taxon sampling.