FWIW these are all fuzz bugs so it's not like they're representative of actual code. If they're generating ridiculously large functions it may be that we just need to tweak the fuzzer limits, so once your patch lands seems reasonable to basically close this out!