"In a stroke, Carroll anticipated key elements of multiple alignment, minimum distance alignment and local alignment that are now central to biological sequence analysis."