Reasonable starting block with the existing joists assuming it not a 12m span which would not be in keeping in an end of terrace house.(window provision!)
I would go with the 75mm cross battens.
Remove the orginal insulation. Put down say 150mm between the existing joists and 100mm above. Slight compression under the floor will be adequately made up by the boarding and storage placed on top. i.e I wouldn’t worry about it!
Govt doesn’t know its…. from its elbow. These figures change every few years and the industry is still playing catch up. The difference between 250 and 200mm insulation is so minimal in terms of heat loss.
You’ll gain more by applying the insulation correctly ensuring that it fills all the gaps, particulary at the eaves, and overlaying in a criss cross patten. (Make sure you don’t block off the ventilation at the eaves).
The cross battens will help to retain the first insulation layer in place.