Subtracting IR Renormalons from Wilson Coefficients: Uniqueness and power dependences on $\Lambda_\mathrm{QCD}$