Only 7000 cards in V12?

Yes!

Make sure when you sync, you click “upload to ankiweb”

To remove V11 tags see this: Why do I still have V11 tags in V12?

To remove V11 cards that are duplicates and were not carried over to V12, see this: How do I delete all V11 cards after I have upgraded to V12?