Programming Alchitry Au directly from Vivado

Yes, I do this sometimes with no problems.

Have a look here for more information on getting it set up: https://alchitry.com/blogs/tutorials/creating-a-vivado-project-for-the-au