Verifier bugs don't matter that much, for most Linux users, right now, because unprivileged accounts can't use eBPF.