Text this: The Complexity of Reachability in Affine Vector Addition Systems with States