Stressed Cooper pairing in QCD at high isospin density: effective Lagrangian and random matrix theory