We have a Transaction type that generates random structurally-valid (but data-invalid) transactions. We use this in the sighash test vectors (e.g. for ZIP 244). It would be separately useful to have test vectors for the transaction parser itself, that breaks out random transactions into their individual pieces in a way that downstream developers can test against.