refactor[venom]: remove dup_requirements analysis

[charles-cooper]

What I did

How I did it

How to verify it

Commit message

this commit updates `next_liveness` to reflect `out_vars` when the
instruction is the last instruction in the basic block.

after this change, membership in `dup_requirements` is the same as
membership in `next_liveness`, so we can remove the `dup_requirements`
analysis.

Description for the changelog

Cute Animal Picture