Option extensions not propagating if mutated

[gabotechs]

There's currently one bug with the current implementation of the option extension propagation:

1. The user adds a new option extension with with_distributed_option_extension
2. The option extension gets mutated either programaticaly or by a SET my_extension.foo = 'bar' estatement
3. The option extension that gets propagated is the initial version, not the updated version