refactors to prepare for the new rust-simplicity version#143

apoelstra wants to merge 6 commits intoBlockstreamResearch:masterBlockstreamResearch/SimplicityHL:masterfrom

apoelstra:2025-09/rust-simplicity-prepapoelstra/s-lang:2025-09/rust-simplicity-prepCopy head branch name to clipboard