Squashing 200mm into 180mm is going to be minor, especially as you're adding extra on top anyway! I wouldn't worry about it.
Instead of using cross battening, I prefer using one of the newer ways on the market, eg Loftzone Storefloor or Loft Stilts. Both much faster and lighter (important if...