Project Hail Mary is in theaters—but do the linguistics work?