It is (relatively) consistent with ZFC that this is false. For example, suppose that there are $\alpha<\beta$ with $L_\alpha$ and $L_\beta$ both being models of ZFC. (This is a very weak large cardinal axiom). Let us take $\alpha$ and $\beta$ to be least. So $L_\beta$ thinks that there is only one height $\alpha$ of a model of ZFC. It follows that $\alpha$ is countable inside $L_\beta$, and so inside $L_\beta$, the hyperverse is not empty. Let $x$ be a real in $L_\beta$ coding  a relation on $\omega$ of order-type $\alpha$. This real cannot be in any CTM of ZFC inside $L_\beta$, since that model would have to have height at least $\beta$ by the minimality of $\beta$. 

Another way to argue: let $M_0$ be any countable transitive model of ZFC, and let $M$ be any $\in$-minimal countable transitive model of ZFC with $M_0\in M$. So $M_0$ is countable in $M$, but by minimality, $M$ can have no CTM containing a real coding $M_0$.