I have Signal and microG with push notifications. Signal still uses websocket on my device. So, I guess it would be fine without microG push.