FWIW, I did find that WPS push button setup does require SSID broadcasting to function. Without it the process wouldn't work, as the client wouldn't know the network name to join to continue the next WPS setup step.