Let me add just something to this.
Let $K$ be the quotient field of $A$. If $M$ is a fractional ideal of $A$, then the fractional ideal $M_v = (A\colon_K(A\colon_KM))$ is called "the divisorial closure of $M$". In this case (when $K$ is the quotient field of $A$) one can show that $(A\colon_KM) \subset A \Longleftrightarrow A \subseteq M_v$.
Indeed, $(A\colon_KM) \subset A$ implies $M_v = (A:_K(A\colon_KM)) \supset (A\colon_KA) = A$. Conversely, $A \subset M_v$ implies $A = (A\colon_KA) \supset (A\colon_KM_v)$. Now it is easily seen that $(A\colon_KM_v) = (A\colon_KM)$. Thus $A \supset (A\colon_KM)$.
So, if $M_v = M$ (i.e., if $M$ is "divisorial"), then the converse of your second statement holds. Now, invertible ideals are divisorial but there are plenty of divisorial ideals that are not invertible (see for example Bill Heinzer's paper "Integral domains in which each non-zero ideal is divisorial", Mathematika (1968), 15: 164-170), so it is not true that the reverse implication of your second statement is true "only" if $M$ is invertible.
More on the divisorial closure (and more generally on star operations) is on Robert Gilmer's "Multiplicative ideal theory".