Random Reidemeister moves to unknot
This question has been fully answered (the expected number of moves is $\infty$), as detailed in an addendum to the question. I place this community-wiki "answer" here so I can accept it and so prevent the MO software-bot from re-asking the question.
I found an answer of sorts in the paper, "Mean unknotting times of random knots and embeddings," by Yao-ban Chan, Aleksander L Owczarek, Andrew Rechnitzer, and Gordon Slade (Journal of Statistical Mechanics: Theory and Experiment, Volume 2007, May 2007.) Here is the beginning of their Abstract:
We study mean unknotting times of knots and knot embeddings by crossing reversals, in a problem motivated by DNA entanglement. Using self-avoiding polygons (SAPs) and self-avoiding polygon trails (SAPTs) we prove that the mean unknotting time grows exponentially in the length of the SAPT and at least exponentially with the length of the SAP.
Their SAPs are on a 3D lattice; their SAPTs are on a 2D lattice; see below. Interesting that they did not
establish an upper bound for SAPs.