The nav file is likely embedded into the map file using BSPZip or PakRat.
This isn't common for Valve's other games, as nav files can be edited in game and embedding it in the map prevents that. However, workshop restrictions may mean we'll see more of this kind of embedding for CS:GO. (and as of August 2015, TF2)