Using a VPN in addition to Tor would have actually prevented that specific not-a-zero-day from getting your real IP address.