Ashiok ruling op Scryfall:
If an effect says “You may search your library . . . If you do, shuffle your library” or “You may search your library . . . then shuffle your library,” your opponents can’t choose to search, so they won’t shuffle.

If an effect says “Search your library . . . then shuffle your library,” your opponents shuffle their libraries even though they can’t search.