Parallel to https://github.com/sipa/miniscript/pull/117

This is a severe bug reporting that needs backporting as it affects the
correctness properties of miniscript