In terms of doing updates, are there any situations when cloudformation does it better? For example many RDS updates(such as storage updates) can be done online without downtime with cloudformation. Are there situations where pulumi would require downtime vs cloudformation?