The file I was trying to upload was 10.13 gb, and after a chat with technical support, this is the only apparent solution:
so it's not the end of the world, although unfortunate that I have to compress a project twice instead of once in order to send it....