Hello Luca,
There will be a version of 7.1.1, that will be made available to allow you to upgrade and have the same version for your WSA. There is some work that is being done on the 7.1.1 line code, that is why you can not upgrade further from where you are now.
With regards to the https, if you say you have not enabled https proxy, the proxy will not really do anything on the ports you did not configure it to proxy for.
http://tinyurl.com/q3bord
It may help to do packet captures on the client, and see what is happening to the traffic, and also check for access logs on the WSA, to see if the WSA has any logs for the clinet https traffic.
http://tinyurl.com/6ekeec
I hope this information helps you.
Regards,
Eric