Why hasn't GCH become a standard axiom of ZFC?
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.
I heard about one of the famous set theorists from the 1960's (but I don't recall the exact name) who was almost certain that $V=L$ is going to be accepted as an axiom "soon enough", because it seemed so natural at the time.
But then came Cohen and showed that it's very easy to destroy $V=L$ by adding new sets, and forcing was developed.
Once forcing was developed it seems very hard to add new axioms into the theory because you want them to be preserved in every "standard model" of the theory. If forcing can destroy $\sf GCH$, then it's not a good fit for a standard axiom. On the other hand it is impossible to contradict the axiom of choice by forcing, one has to preform another additional step of generating a certain inner model.
This is even more apparent in the case of $\sf GCH$, or in fact just $\sf CH$. Once research has been put into forcing axioms, people realized that axioms like $\sf MA$ are very useful and interesting when $\lnot\sf CH$ is assumed. And in fact, strengthening $\sf MA$ would usually result in $2^{\aleph_0}=\aleph_2$. So many of the forcing axioms that we know today in fact prove that $\sf CH$ fails.
And of course there are all the results from PCF theory which will be pointless once you assume $\sf GCH$. This is like assuming that all functions are polynomials, or analytic. Sure, it makes things easier and for people who actually use the theory (e.g. engineers) it would make like much simpler - and they hardly ever care about the rest of the cases anyway. But for an analyst this would be boring.
Similarly for a set theorist, $\sf GCH$ would be boring. Sure, it can simplifies some work for non-set theorists, and when people say "But I thought $2^{\aleph_0}$ was defined as $\aleph_1$" they would be wrong, but not entirely wrong; but regardless to that, we still prefer something which generates interest rather than something that does not.
It hasn't been accepted as an axiom mainly because set-theorists are not convinced of its truth. It's relative consistency with ZFC is a weak condition that only says that the addition of it as an axiom would not create contradictions (if ZFC is consistent), but this is not a very convincing argument for considering it as an obviously true statement about the universe of sets.
Even more, I think a majority of set theorists of a Platonistic bent believe in that the Continuum Hypothesis itself is a false statement. ($\aleph_2$ generally being considered the likely real cardinality of the continuum.)
Slight Addition: The are many simpler statements than GCH that seem like they should be absolutely true but are not accepted as basic axioms of set theory. Perhaps most astounding is the following:
If $\kappa < \lambda$ are cardinals, then $2^\kappa < 2^\lambda$.
(Consider the comments to this answer by Joel David Hamkins on MathOverflow.)