I uninstalled vmplayer, rebooted Windows 7, and reinstalled, and the cinnamon bug is still there. This player is a newer build, 5.0.2 build-1031769, the build number is much larger than earlier this week.
In addition, I no longer have Shared Folders working (though it is still configured).
I found that Cinnamon 2D works, so except for Shared Folders, I can get work done. EDIT- Cinnamon 2D is too slow for practical use.