Text this: The Szemerédi property in noncommutative dynamical systems