AWS EC2 instance hyperthreading
Solution 1:
I received confirmation from Amazon that a vCPU is in fact a single hyperthread on a single core.
On a side note, this was news to the software vendor we were working with (one of the biggest enterprise companies out there) and they were nice enough to adjust the terms of the licenses for software running in AWS environments.