You can say a bit more than just every set surjects onto $\omega$. Every infinite set is Dedekind infinite.
The reason is simple. If $T$ is an infinite transitive set, then $T\cap V_\omega$ is an infinite transitive set, and it is countable. To see this, note that if $T\cap V_\omega$ is finite, then, since $T$ is infinite, there is a gap in the finite ranks, but this is impossible as the rank function on a transitive set has a downwards closed image (i.e., its image is an ordinal).
This can probably be lifted to get slightly more out of this argument, but the "inspect locally, conclude globally" is bound to fail here. If every infinite set of reals is Dedekind-infinite, then every set of reals is equipotent to a transitive set. Simply consider the reals as $V_{\omega+1}$ and then every infinite set $T\subseteq V_{\omega+1}$ is equipotent with $T\cup V_\omega$, which is transitive. Equally, use $\mathcal P(\omega)$ and take $T\cup\omega$.
But, remember that we can have sets of reals which are very eccentric, in the technical sense, while still being Dedekind-infinite. So there is no reason to expect that the above argument can be used for anything significantly stronger.