fuzz: update generate-files.sh

You should be able to run this script cleanly. Update it to include a
recent Cargo.toml change, and add a big header which will hopefully
remind me not to edit the Cargo.toml file directly.

Author: apoelstra

.github/workflows/cron-daily-fuzz.yml

@@ -1,4 +1,7 @@
-# Automatically generated by fuzz/generate-files.sh
+######
+## DO NOT EDIT THIS FILE DIRECTLY. It is generated by generate-fuzz.sh.
+## Edit that script instead and re-run it.
+######
 name: Fuzz
 on:
   schedule:

fuzz/Cargo.toml

@@ -1,3 +1,7 @@
+######
+## DO NOT EDIT THIS FILE DIRECTLY. It is generated by generate-fuzz.sh.
+## Edit that script instead and re-run it.
+######
 [package]
 name = "elements-fuzz"
 edition = "2021"

fuzz/generate-files.sh

@@ -10,6 +10,10 @@ source "$REPO_DIR/fuzz/fuzz-util.sh"
 
 # 1. Generate fuzz/Cargo.toml
 cat > "$REPO_DIR/fuzz/Cargo.toml" <<EOF
+######
+## DO NOT EDIT THIS FILE DIRECTLY. It is generated by generate-fuzz.sh.
+## Edit that script instead and re-run it.
+######
 [package]
 name = "elements-fuzz"
 edition = "2021"
@@ -34,6 +38,7 @@ use_self = "warn"
 
 [package.metadata.rbmt.lint]
 allowed_duplicates = [
+    "bitcoin-internals",
     "hex-conservative",
     "getrandom",
     "wasi",
@@ -55,7 +60,10 @@ done
 
 # 2. Generate .github/workflows/cron-daily-fuzz.yml
 cat > "$REPO_DIR/.github/workflows/cron-daily-fuzz.yml" <<EOF
-# Automatically generated by fuzz/generate-files.sh
+######
+## DO NOT EDIT THIS FILE DIRECTLY. It is generated by generate-fuzz.sh.
+## Edit that script instead and re-run it.
+######
 name: Fuzz
 on:
   schedule: