Original reproducer is almost identical to the one that is fixed by https://patchwork.ozlabs.org/patch/1129479/. bpf_prog_free_deferred bug that's undeterministically exposed after this fix seems to be the cause of a bunch of other bug reports and is not related to verifier precision tracking. #syz dup: WARNING in __mark_chain_precision
