Why hasn't GCH become a standard axiom of ZFC? I've never seen a text that includes GCH in the ZFC axioms. I presume this means that GCH has not achieved widespread acceptance. This seems surprising to me, given that:


The cardinal numbers encountered in "ordinary" mathematics are the beth numbers $\beth_\alpha$, and
ZFC can't prove much about the beth numbers without at least GCH or something stronger, and
ZFC+GCH has been shown equiconsistent with ZFC.


So my question is, why hasn't GCH achieved more widespread acceptance (or has it)?
Unfortunately, I do not feel the arguments you mention are strong enough to make a convincing case. Before addressing $\mathsf{GCH}$ proper, note that in fact:


$\omega_1$ and other cardinals do appear in mathematics. For example, transfinite iterations of length $\omega_1$ are not uncommon in analysis (a simple instance of this is that the Borel sets can be presented as the union of an increasing chain of length $\omega_1$, and this representation is useful beyond simply saying that they are the $\sigma$-algebra generated by the open sets). The cardinal $\omega_1$ appears naturally in descriptive set theory (tied up to the boldface $\Pi^1_1$ sets) and other cardinals (not necessarily beth numbers) appear also in this context.
$\mathsf{ZFC}$ can prove a great deal about beth numbers without any restrictions in the cardinal arithmetic. For example, as pointed out in this answer, the beth numbers appear naturally when studying the spectrum problem in model theory. That answer also mentions one of Shelah's best known results in cardinal arithmetic, that $\aleph_\omega^{\aleph_0}$ is either the continuum, or less than $\aleph_{\omega_4}$. These results are invisible under strong cardinal arithmetic restrictions. Cardinal arithmetic in fact has a lot to say when we do not "trivialize" it by assuming $\mathsf{GCH}$ or the like. For example, there are results that are known to hold from $\beth_\omega$ on but may fail for an initial segment of the cardinals. The fact that we do not have as extensive a list of results without strong cardinal arithmetic restrictions is simply because such restrictions were typically adopted in classical results, and only relatively recently we have been exploring the landscape without them. There is also the obvious fact that the study of cardinal invariants of the continuum disappears if we adopt $\mathsf{CH}$; there is significant structure here, provably in $\mathsf{ZFC}$, but $\mathsf{CH}$ hides it.
Equiconsistency does not seem a good argument for the adoption of an axiom. Replacement makes $\mathsf{ZFC}$ strictly stronger than $\mathsf{ZC}$, and it is this strength that makes it a desirable axiom to adopt. Large cardinal axioms go beyond $\mathsf{ZFC}$, and are routinely taken for granted when studying the projective hierarchy or determinacy. In fact, the ladder of consistency strength hierarchy is one of the most remarkable mathematical objects we have uncovered. One could argue instead that extensions of $\mathsf{ZFC}$ should be as strong as possible to accommodate all mathematical discourse, that $\mathsf{ZFC}$ is in strength too weak to do this properly. 




With that out the way, we need to consider what it is that we expect to accomplish with extensions of $\mathsf{ZFC}$. For example, we may want a rich mathematical universe, with as many examples as possible, even at the level of the reals. $\mathsf{CH}$ certainly gives us that: Under this assumption, there are many non-isomorphic linear orders of size $\omega_1$, there are discontinuous homomorphisms between Banach algebras, etc. Analysts tend to adopt $\mathsf{CH}$ for this reason. When we want instead a very orderly universe, with strong classification results, alternative axioms are adopted, usually in the form of forcing axioms. I elaborate this to some extent, and provide some references, here.

It is true that quite a few set theorists see untamed cardinal arithmetic as a pathology rather than a virtue. (Shelah is a notorious exception.) Even so, $\mathsf{GCH}$ seems unforgivably restrictive, typically because it is fairly easy to violate it with mild forcing. For this reason, $\mathsf{SCH}$, the singular cardinal hypothesis, is considered a more reasonable statement to desire. (I am not doing this here, but) one could even make the case that a version of this statement should be part of whatever extension of $\mathsf{ZFC}$ we end up agreeing upon in the future. Unlike $\mathsf{GCH}$, we have that $\mathsf{SCH}$ is typically preserved by forcing. It is in fact seen as "cofinally true" in the universe, since it holds beyond strongly compact cardinals. It is implied by a variety of reflection principles and forcing axioms, so it is somewhat expected to hold under the heuristic that the universe of sets should be both as tall and as wide as possible. 

On the other hand, one might expect that the universe of sets should be close to a fine-structural model. Models possessing a fine structure satisfy strong versions of $\mathsf{GCH}$, so this is not by any means an unreasonable axiom to aspire to. In fact, Woodin's recent "ultimate $L$" program aims at developing a theory of the universe that would be compatible with all large cardinals and would possess fine-structural features. If this program succeeds, we would have a template from which we could prove the consistency of any reasonable statement by means of forcing, so the universe could be seen as a forcing extension of a very well-behaved fine structural core. Any other competing "completion" is expected to be mutually interpretable with this alternative. 

Now, the mention of mutual interpretability brings us to an interesting point. The argument can be made that there may not be a "distinguished" completion of $\mathsf{ZFC}$, that any two theories are equally desirable if they are mutually interpretable. (A multiverse view, if you wish.) This recent paper by John Steel elaborated on this view. Under this approach, the question of whether $\mathsf{GCH}$ should be adopted is moot.

Even if we do not follow that route, I do not think we have strong evidence to advocate fully for $\mathsf{GCH}$. However, one can make the case that $\mathsf{CH}$ is a desirable axiom to have. Woodin has proved a maximality result, showing that $\mathsf{CH}$ "decides" all $\Sigma^2_1$ statements. (Somewhat more formally, under appropriate large cardinals, any such statement that can be forced actually holds in the presence of $\mathsf{CH}$. Note that $\mathsf{CH}$ itself is a $\Sigma^2_1$ statement.) 

On the other hand, a few years ago, Woodin presented a program that seemed to conclude on fairly general grounds that $\lnot\mathsf{CH}$ was the reasonable option. Oversimplifying, the argument was: From large cardinals, we have a "complete" theory of $H(\omega_1)$ and, in particular, its theory cannot be modified by set forcing under large cardinal assumptions. Similarly, we can have a "complete" theory of $H(\omega_2)$; for example, Woodin introduced a principle $(*)$ that implies this, and implies the negation of $\mathsf{CH}$ (again, under large cardinals). In contrast, it was claimed that no such "complete" theory exists compatible with $\mathsf{CH}$. However, a flaw was found in the proof of this claim, so the argument for $\lnot\mathsf{CH}$ on these grounds has lost strength. 

Nowadays, advocates of the negation of $\lnot\mathsf{CH}$ are willing to give up the "conditional maximality" that $\mathsf{CH}$ provides. But typically one does not argue for $\lnot\mathsf{CH}$ directly, but rather for principles that (usually for technical reasons) end up implying $\lnot\mathsf{CH}$.



My take on $\mathsf{GCH}$, such as it is, is that first of all, we are far from having enough mathematical evidence to make a decision. And second, whatever we end up adopting should not be directly this axiom (or its negation), but whether it holds or not should be a consequence of deeper structural principles, and the precise nature of those principles is not yet developed to the point where we can venture a guess. I confess I am partial to large cardinals, and to strong reflection principles, so I am not opposed to $\mathsf{SCH}$. (But note that I am not advocating for large cardinals or forcing axioms or the like here, I am just pointing out that arguments in their favor have been advanced, and I find them more compelling and encompassing than the arguments I am aware of for their negation.) I find the structure of the continuum provided by forcing axioms somewhat more appealing than the wild untamed riches brought about by $\mathsf{CH}$. 

But, again, as I said, whether strong cardinal arithmetic restrictions end up being part of the accepted axiomatization of set theory, I expect that this will be a consequence of other principles rather than just adopted as an axiom on its own.
And here is a more light-weight broad discussion from Scientific American.Dispute over Infinity Divides Mathematicians

And this one is a little bit of circumstantial evidence for CH in that a statement that was expected to witness ~CH ended up disproved Mathematicians Measure Infinities and Find They’re Equal