I'm not so sure. The Push API and Notification API are two separate things on the web, and one and the same on iOS. It wouldn't be immediately straightforward to wake up a service worker in response to a push event on iOS, so I can believe they are trying to find the optimal way of doing it.
(I also believe it's not a huge priority)