Massive Optically Dark Galaxies Unveiled by JWST Challenge Galaxy Formation Models