@achow101 noted we don't reject them therefore they must be silently accepted. This is not part of the specs, we should remove them. Also cc @sipa.

I can take care of this.
bool IsSingleType() const final { return true; }
    std::optional<int64_t> ScriptSize() const override { return 1 + 1 + 32; }
    std::optional<int64_t> MaxSatisfactionWeight(bool) const override {
        
        return 1 + 65;
    }
    std::optional<int64_t> MaxSatisfactionElems() const override {
        
        return 1;
    }
};
/* We instantiate Miniscript here with a simple integer as key type.
 * The value of these key integers are an index in the
 * DescriptorImpl::m_pubkey_args vector.
 */
/**
 * The context for converting a Miniscript descriptor into a Script.
 */
class ScriptMaker {
    
    const std::vector<CPubKey>& m_keys;
public:
    ScriptMaker(const std::vector<CPubKey>& keys LIFETIMEBOUND) : m_keys(keys) {}
    std::vector<unsigned char> ToPKBytes(uint32_t key) const {
        return {m_keys[key].begin(), m_keys[key].end()};
    }
    std::vector<unsigned char> ToPKHBytes(uint32_t key) const {