Yeah i'm thinking it would be fine, haven't tested either.

I believe Vmware ESX 5.5 supports a maximum of 5 nodes in a windows cluster, that's what made me think possibly there was a limitation on total cluster size in SQL AlwaysOn.

Cheers