Use global propagator

[thompson-tomo]

We should remove the ability to configure the propagator which the instrumentation uses & instead just use the global propagator.

This removes a configuration option, works with auto-instrumentation and doesn't restrict instrumentation to just those known by the instrumentation.