Refactor: scheduler: best practices when implying "probe then X" orderings

Rename order_first_probes_imply_stops() to add_probe_orderings_for_stops(),
add a doxygen block, rename some variables (or avoid them entirely) for
clarity, improve comments and log messages, and do easier checks first.