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.
1 credit card = 1 year free AWS trial account
When people start abusing this system and using that hashing power for mining, it adds up to their costs and operating expenses.
We can only begin to imagine how much electricity they spend giving out 1 year free trials.