Using pins D9 & D10 on the MDBT42Q

Only things I can think of are:

• To ensure that the pins are actually in 'high drive' mode...

  peek32(0x50000724)&0x700 == 0x700;
  peek32(0x50000728)&0x700 == 0x700;
  

But I'm pretty sure they should be...

• To try software I2C with var i2c = new I2C(); i2c.setup(...)
  
• To try with a lower I2C bitrate
  
  

But it's possible that because I2C uses pullups, the leakage is actually enough to cause trouble