suggestion is to implement multiple PWM modes (higher bit resolution, different prescalers, perhaps even different PWM modes -fast vs phase correct) in the Arduino code. Default settings could be what it is today, but it shouldn't be too hard to implement a few switches for advanced users.