In the sequence-branch of AFS, we may force a sequence value that is incompatible with CSV requirements

[evanlinjin]

Description

Some Taproot inputs may be CSV (relative timelock) requirements. Changes made to tx.input[i].sequence must still satisfy CSV. The current code base does not guarantee this.

Severity

Can result in consensus-invalid transactions.

Proposed Solution

Inputs with CSV requirements should be filtered out for the taproot_inputs pool.

input.relative_timelock().is_none()