Ya she has to get her citizenship in order u to get ur work permit. In my opinion it is good for u to get married now and fill the application for ur green card eventhough she hasnt receive her citizenship. when she gets her citizenship, u dont have to worry about those application and as soon as she gets her citizenship, she can send letter to uscis ask them to update ur status. i think this is the fast way. ur f-1 status only change after u get ur workpermit.