Are these Timer/Counter settings right for PWM generation?

lrdazmmlk:
...generate a 125kHz square wave carrier...

lrdazmmlk:
...PWM generation to be precise...

Which? Simple square wave or PWM?

From what you've described, "square wave" seems to be the answer.