Do you have any stats that might support Henry's conjecture on basic block sizes? I have to admit being quite surprised at the significant code blow-up size. I'm also curious about what percentage of those blocks where limit checks are inserted actually do any allocation at all; does limit-check.fun check whether any allocation occurs in the block?