“George could have become a US citizen on reaching age of majority and executing naturalization procedures.”
IIRC, by returning to the US at age 7 naturalization was not required for him to reclaim US citizenship.
One could also check census records prior to Mitt’s birth to see if George declared himself to be a U.S. citizen, such as in 1940 or 1930.