Just check the doppler radar
So far as I can tell it looked and behaved exactly like a tornado, and caused exactly the damage a tornado would cause. Given the number of
stormchasers monitoring the storm system I think it'd have been noticed if no tornado had formed.