Final entry here. Just for anyone else who is having the problem. Since I downgraded to 7.1.1, I've had no problem, never see the vmware-vmx process over about 3 GB (even when the guest is clearly using 8 GB).
7.1.2 is the latest; so, there is nothing to upgrade to to see if it is fixed.