Prefix scheduler-specific configuration `sched_options` with a proper prefix

[vkarak]

We should prefix all sched_options that are specific to a backend with a proper prefix, so as to make their intent clearer.