Text this: Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility