fix: correct element indices and update wrapper version prefix

Update the indices for specific OutputNullGetBytes elements to ensure
proper alignment. Adjust the script to remove unnecessary sed command for
renaming prefixes in Rust files and simplify it by focusing on updating
the version prefix in the header file.

Author: stringhandler

src/jet/init/elements.rs

@@ -4815,9 +4815,9 @@ impl Jet for Elements {
             Elements::OutputNullGetBytes1 => (462387, 19),
             Elements::OutputNullGetBytes2 => (462388, 19),
             Elements::OutputNullGetBytes4 => (462389, 19),
-            Elements::OutputNullGetBytes16 => (462390, 19),
-            Elements::OutputNullGetBytes32 => (462391, 19),
-            Elements::OutputNullGetBytes64 => (462392, 19),
+            Elements::OutputNullGetBytes16 => (462391, 19),
+            Elements::OutputNullGetBytes32 => (462392, 19),
+            Elements::OutputNullGetBytes64 => (462393, 19),
         };
 
         w.write_bits_be(n, len)
@@ -7457,16 +7457,16 @@ impl Jet for Elements {
                                                                                     1 => {Elements::OutputNullGetBytes4}
                                                                                 },
                                                                                 1 => {
-                                                                                    0 => {Elements::OutputNullGetBytes16},
-                                                                                    1 => {Elements::OutputNullGetBytes32}
+                                                                                    0 => {},
+                                                                                    1 => {Elements::OutputNullGetBytes16}
                                                                                 }
                                                                             }
                                                                         },
                                                                         1 => {
                                                                             0 => {
                                                                                 0 => {
-                                                                                    0 => {Elements::OutputNullGetBytes64},
-                                                                                    1 => {}
+                                                                                    0 => {Elements::OutputNullGetBytes32},
+                                                                                    1 => {Elements::OutputNullGetBytes64}
                                                                                 },
                                                                                 1 => {}
                                                                             },

update_jets.sh

@@ -37,9 +37,7 @@ mv "${C_DIR}/jets_ffi.rs" "./simplicity-sys/src/c_jets/jets_ffi.rs"
 mv "${C_DIR}/jets_wrapper.rs" "./simplicity-sys/src/c_jets/jets_wrapper.rs"
 mv "${C_DIR}/jets_wrapper.c" "./simplicity-sys/depend/jets_wrapper.c"
 
-# Tweak the c_ prefixes in the wrappers
-sed -i -r "s/\"c_/\"rustsimplicity_${SIMPLICITY_ALLOC_VERSION_CODE}_c_/" \
-    "./simplicity-sys/src/c_jets/jets_ffi.rs"
+# Update version prefix in wrapper.h if the version changed
 sed -i -r "s/ rustsimplicity_[0-9]+_[0-9]+_/ rustsimplicity_${SIMPLICITY_ALLOC_VERSION_CODE}_/" \
     "./simplicity-sys/depend/wrapper.h"