backport: bitcoin#18867, #19247, #19222, #18363, #18190, #18393, partial #18047, #18314, #19143 (fuzzing harness backports: part 3)

[kwvg]

Depends on

• backport: bitcoin#18417, #18521, #18529, #18176, #18423, #17926, #18353, #18407, #18455, #18565, #18867 (fuzzing harness backports: part 2) #4829

[github-actions]

This pull request has conflicts, please rebase.

[github-actions]

This pull request has conflicts, please rebase.

[PastaPastaPasta]

utACK for merging via merge commit
utACK for merging via merge commit

[thephez]

utACK for merging via merge commit utACK for merging via merge commit

@PastaPastaPasta Thanks for reviewing. Your response was a little vague though. My only question is, could you let us know if you will utACK this for merging via a merge commit?

[UdjinM6]

Can't compile:

In file included from test/fuzz/addition_overflow.cpp:7:
./test/fuzz/util.h:265:13: error: no matching function for call to 'AdditionOverflow'
        if (AdditionOverflow((uint64_t)fuzzed_file->m_offset, random_bytes.size())) {
            ^~~~~~~~~~~~~~~~
./test/fuzz/util.h:131:20: note: candidate template ignored: deduced conflicting types for parameter 'T' ('unsigned long long' vs. 'unsigned long')
[[nodiscard]] bool AdditionOverflow(const T i, const T j) noexcept
                   ^
./test/fuzz/util.h:276:13: error: no matching function for call to 'AdditionOverflow'
        if (AdditionOverflow(fuzzed_file->m_offset, n)) {
            ^~~~~~~~~~~~~~~~
./test/fuzz/util.h:131:20: note: candidate template ignored: deduced conflicting types for parameter 'T' ('long long' vs. 'long')
[[nodiscard]] bool AdditionOverflow(const T i, const T j) noexcept
                   ^
2 errors generated.

dropping 60aa00a helps

[UdjinM6]

utACK

[PastaPastaPasta]

utACK for merging via merge commit