Add a config option to delay push notifications by a random amount, to discourage time-based profiling.