I'd like to know more about these tools. That there's at least one which can bypass a user's 2FA settings without notification suggests that there are additional tools in the same vein.
If that is the case, that same proxy software could proxy the security key requests too.
Are you sure there wasn't a notification?