This is a great question -- and it's wide open. Here's what I know about it:

 $\bullet$ As you mentioned, it is consistent that $\phi$ and $\phi^{-1}$ are not conjugate. This observation was first made by van Douwen, soon after the publication of Shelah's result that you mention in your question. You mentioned forcing axioms, so let me point out that the non-conjugacy of $\phi$ and $\phi^{-1}$ follows from $\mathsf{MA}+\mathsf{OCA}$, which is a weak form of $\mathsf{PFA}$. This is due to Boban Velickovic.

 $\bullet$ If it is consistent with $\mathsf{ZFC}$ that $\phi$ and $\phi^{-1}$ are conjugate, then it is consistent with $\mathsf{ZFC}+\mathsf{CH}$. (Proof sketch: If $\phi$ and $\phi^{-1}$ are conjugate in some model, then force with countable conditions to collapse the continuum to $\aleph_1$ and make $\mathsf{CH}$ true. Because this forcing is countably closed, it won't change much about the Boolean algebra $\mathcal P(\omega)/\mathrm{fin}$, and will preserve the fact that $\phi$ and $\phi^{-1}$ are conjugate.)

 $\bullet$ Even better, the existence of certain large cardinals implies that if it is possible to force "$\phi$ and $\phi^{-1}$ are conjugate" then this statement is already true in every forcing extension satisfying $\mathsf{CH}$. This follows from a theorem of Woodin concerning what are called $\Sigma^2_1$ statements about the real line (explained further [here][1]). The assertion "$\phi$ and $\phi^{-1}$ are conjugate" is an example of such a statement. (Very roughly, this theorem seems to suggest that if this statement is consistent, then it should follow from $\mathsf{CH}$. At any rate, trying to prove it from $\mathsf{CH}$ seems like a reasonable strategy.)

 $\bullet$ In fact, Paul Larson has pointed out to me that the statement "$\phi$ and $\phi^{-1}$ are conjugate" is a now very rare example of a $\Sigma^2_1$ statement about the real line whose status we do not know under $\mathsf{ZFC}+\mathsf{CH}$ (plus large cardinal axioms).

 $\bullet$ I proved a partial result a few years ago, showing that $\mathsf{CH}$ implies $\phi$ and $\phi^{-1}$ are semi-conjugate:
> $\qquad$**Theorem:** Assuming $\mathsf{CH}$, there is a continuous surjection $Q: \omega^* \rightarrow \omega^*$ such that $$Q \circ \phi = \phi^{-1} \circ Q.$$

The paper is "Abstract $\omega$-limit sets," *Journal of Symbolic Logic* **83** (2018), pp. 477-495, available [here][2]. In the same paper, I show that the forcing axiom $\mathsf{MA}+\mathsf{OCA}$ implies $\phi$ and $\phi^{-1}$ are *not* semi-conjugate. (Or rather, I show that this is a corollary to a deep structure theorem of Ilijas Farah.)

 $\bullet$ Finally, in a more recent paper (to appear in *Topology and its Applications*, currently available [here][3]), I show that there is no Borel set separating the conjugacy class of $\phi$ and the conjugacy class of $\phi^{-1}$ (in the space of self-homeomorphisms of $\omega^*$ endowed with the compact-open topology). Roughly, this shows that if $\phi$ and $\phi^{-1}$ fail to be conjugate, it's not "for any real reason" -- or at least not for any nicely definable topological reason. 


  [1]: https://mathoverflow.net/questions/108197/sets-of-reals-and-absoluteness/108200#108200
  [2]: https://wrbrian.files.wordpress.com/2012/01/omegalimitsets.pdf
  [3]: https://wrbrian.files.wordpress.com/2019/04/mappingspace.pdf