Add HasBlockHeight and HasInputPrevOuts traits

[bc1cindy]

Coinjoin heuristics need a tx's confirmed block height and each
input's prev-out script type and hash. AbstractTransaction
exposes neither.

AbstractTxIn now also requires HasSequence so per-input sequence
is uniformly available. Loose storage's input_sequence panic
stub is replaced with the real impl.

Part of #5.

[bc1cindy]

.

[bc1cindy]

goes inside mod tests in ast/uih.rs and needs DummyTxOutData added to the import block

I commented here by mistake, it should have been on another PR

[arminsabouri]

Quick pass thru. The thing that would be the most useful for review is to understand why you need these methods? How does your classifier work?

[arminsabouri]

When would this be optional?

[bc1cindy]

coinbase and prev tx not in the index

makes sense?

[arminsabouri]

Samething here

[bc1cindy]

same

[bc1cindy]

why you need these methods? How does your classifier work?

the detector classifies txs into { Modern {fingerprint, tier }, Legacy { era, tier }, NotJm } via three stages: topological pre-filter (rejects whirlpool/wasabi/stonewall shapes), structural gates (≥5 participants, ≥75k sats denom, symmetric shape), and cohesion + fingerprint dispatch. (other coinjoins still TODO and all refs are commented)

HasInputPrevOuts powers 4 cohesion gates that look across the tx boundary at where each input came from: input address diversity, no input-output script reuse, all-script-type-coherence (Legacy P2PKH/P2SH/P2WPKH), and segwit input fraction

HasBlockHeight powers the modern fingerprint dispatch: JM sets locktime within 99 blocks of current_height. detection compares tx.locktime() against tx.block_height() and accepts if it falls in that window (joinmarket-ng gave up on the anti-fingerprinting locktime and hardcodes locktime=0, so it falls through to Legacy)

for loose txs (no block height), we can't compute the window, so we accept any block-height-style locktime, the other Modern gates keep precision

without these traits the cohesion + locktime checks can't be expressed without bloating AbstractTransaction with consumer-spec knowledge, hence the marker-trait approach