Strictly speaking, you can't verify that the user actually has push notifications turned on. The Banno Digital Toolkit doesn't offer any mechanism to make that determination.
Also strictly speaking, the user gets to choose which 'channels' they want to use for receiving alerts (email, push, SMS). See https://jackhenry.dev/open-api-docs/consumer-api/api-reference/v0/alerts/details/