Safety Verification of Wait-Only Non-Blocking Broadcast Protocols