Delete nonreduced inputs

[maflcko]

As per the usual process to avoid wasted CI resources and timeouts when it runs on large and presumed irrelevant inputs.

Previous: #97

[maflcko]

To "reproduce"

Install a fresh VM, as explained in the bash script's doc, and run it:

apt update && apt install wget -y
wget https://raw.githubusercontent.com/bitcoin-core/bitcoin-maintainer-tools/main/delete_nonreduced_fuzz_inputs.sh
bash delete_nonreduced_fuzz_inputs.sh

To "test"

• Keep an eye on coverage stats, to ensure it doesn't drop
• Re-run the script, to ensure it is "reproducible" to some extent
• Anything else you think is important to test or review

[maflcko]

Did a second run. Some stats:

• 100k deleted in the first run (this pull):

git diff --stat origin/main..659929450b0a5a77739e0f5cde54808de6ca0b64 | tail -1 
 98710 files changed, 1133401 deletions(-)

• ~Same in the second run:

git diff --stat origin/main..HEAD | tail -1 
 98459 files changed, 83802 deletions(-)

• Cross-diff 31k files:

# git diff --stat 659929450b0a5a77739e0f5cde54808de6ca0b64..HEAD | tail -1 
 31968 files changed, 1053259 insertions(+), 3664 deletions(-)

[maflcko]

cc @fanquake @dergoegge