AppScale PaaS with taint checking