Text this: Universal quantification makes automatic structures hard to decide