A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion