* Also improve main() cleanup to fully process all queued async operations (including their cancellations)