I am looking for a reference for the following fact. Let $r\geq 3$ be constant, let $G(n,r-2)$ be a random (simple) $(r-2)$-regular graph and let $H(n)$ be an independent random Hamiltonian cycle (on the same vertex set $V=[n]$). Then there exists a positive constant $p_0$ such that, with probability at least $p_0$, the two graphs do not share an edge.
I believe this should follow from contiguity results, something in the spirit of $G(n,r-2)\cup H(n) \approx G(n,r)$. I looked at Wormald [1], which gives several similar results, but I do not see how they imply the particular one above.