The KRACK Attack: What It Was, What It Taught Us, and Where WPA2 Stands Today