Fix several aspects of the PWM output driver; enable auto-reload, use named...

Fix several aspects of the PWM output driver; enable auto-reload, use named constants for various control bits, and use a more polite mechanism at disarm time to avoid runt pulses.

This may address an issue we've seen where we get occasional malformed PWM output pulses, possibly due to a race between compare updates and the timer.