Call this theory "$T$."
Showing that $T$ is not uncountably categorical is straightforward. Keep in mind that a model of $T$ is gotten by adjoining to the prime model (= one equivalence class of size $n$ for each finite $n$) an arbitrary number (possibly $0$) of equivalence classes of arbitrary infinite cardinalities. Now given $\kappa$ infinite, the following are some examples of non-isomorphic models of $T$ with cardinality $\kappa$:
Exactly one class of size $\kappa$, no other infinite classes.
Exactly two classes of size $\kappa$, no other infinite classes.
For $\kappa>\aleph_0$: exactly one class of size $\kappa$, exactly one class of size $\aleph_0$, no other infinite classes.
And so on. Personally I think the last example is especially important; it's good to keep in mind that similar-looking "pieces" of the model (e.g. infinite classes) can behave very differently.
As for $\omega$-stability, let's start by considering the no-parameters case: can we show that there are only countably many $1$-types over $\emptyset$?
(As usual we're working in some "sufficiently saturated" monster model $\mathfrak{M}$ here.)
Well, intuitively the $1$-type over $\emptyset$ of some element $a$ is determined by a simple cardinal invariant $size(a)$:
Take $size(a)$ to be the size of the equivalence class $a$ lives in.
After proving that in fact $size(a)=size(b)$ implies $tp_\emptyset(a)=tp_\emptyset(b)$, we can now count the number of possible values of this invariant within the monster model $\mathfrak{M}$:
Either $size(a)$ is finite, or by saturation $size(a)=\vert\mathfrak{M}\vert$. So there are $\aleph_0$-many possible values of $size(a)$.
We now need to think about folding in parameter sets larger than $\emptyset$ and tuple lengths larger than $1$ - that is, counting $n$-types over $A$ for arbitrary finite $n$ and countable $A\subseteq\mathfrak{M}$. EDIT: not really, see Alex Kruckman's comment below; I'm making things harder than they need to be here. This gets a bit tedious, but the basic idea is still the same: we want to show that there are only a few different possible behaviors for a given tuple.
For example, here's how to count the $2$-types over a one-element parameter set $\{c\}$. The type of a pair $(a_0,a_1)$ in $\mathfrak{M}$ over $\{c\}$ is determined by the following data.
First, we have the "$\emptyset$-part" of each individual element of the pair $(a_0,a_1)$:
What are the cardinalities $\alpha_0$, $\alpha_1$ of the classes of $a_0,a_1$ in $\mathfrak{M}$? As before, there are $\aleph_0$-many possibilities here.
Next, we consider the structure within the tuple $(a_0,a_1)$:
Are $a_0$ and $a_1$ equal? Are $a_0$ and $a_1$ equivalent? There are finitely many possibilities here.
Finally, we bring the parameter into the question:
How do $a_0$ and $a_1$ compare with $c$, both with respect to equality and equivalence? Again, there are only finitely many possible behaviors.
Putting all this together we get as hoped for only countably many $2$-types over a one-element parameter set in $\mathfrak{M}$. And it should be reasonably clear how to continue this to get $\omega$-stability.
