Thanks very much for the informed response.
Dead time is symmetric, so it looks like using TCC2/W[0..1] will be absolutely fine for outputs D11/D13. According to Changing Arduino Zero PWM Frequency - #7 by MartinL - Arduino Zero - Arduino Forum, analogWrite() only uses TCC2 for D11/D13, so no problems there either. Great!
Cheers,
Dave