A Lucid Air prototype ran the quarter mile in 9.245 seconds