Change of Variables -- is it always an isomorphism?
The concept of "changing variables" is a blanket name for the general technique of replacing some variables with other (more convenient) expressions. I'm not sure I've ever seen a rigorous definition in a text - most of the time anyone who's using it will explain enough to clue in the readers as to what they're doing.
Let's look at your concrete troubles. In both answers in your linked post, the specific changes of variable are of the form $$ x\mapsto ax+by+p$$ $$y\mapsto cx+dy+q$$ for $a,b,c,d,p,q\in k$ and each author assumes various facts which imply $ad-bc\neq 0$ in each transformation they discuss. These transformations are all automorphisms of $k[x,y]$, and we can determine their explicit inverse: all such transformations are in fact "affine transformations" of the plane $k^2$, and can be recorded in a matrix as $$\begin{pmatrix} a & b & p \\ c & d & q \\ 0 & 0 & 1 \end{pmatrix},$$ whence composition of transformations corresponds to multiplication of matrices, and inversion corresponds to inverting the matrix representing the transformation. The explicit inverse therefore corresponds to the transformation represented by the matrix $$\begin{pmatrix} \frac{d}{ad-bc} & \frac{-b}{ad-bc} & \frac{bq-dp}{ad-bc} \\ \frac{-c}{ad-bd} & \frac{a}{ad-bc} & \frac{cp-aq}{ad-bd} \\ 0 & 0 & 1 \end{pmatrix}. $$
Back to the general picture, I have seen "change of variables" used for various birational equivalences relating to elliptic curves which are not necessarily isomorphisms. I would say that generally a "change of coordinates" on an affine variety means picking different generators for the coordinate algebra - this will necessarily be an isomorphism. A "projective coordinate change" usually means acting by some automorphism of $\Bbb P^n$, which are all linear maps represented by some element in $PGL(n+1)$. So the phrasing "change of coordinates" should always imply that it's an isomorphism, while "change of variables" may not in some cases.