Why would they ban it, as long as company pays for used resources? It's even in their best interest, especially when mining using AWS is not profitable at all.