Decode RLP directly into transaction input

[carneiro-cw]

Currently we decode to alloy types, then convert to transaction input, then back to alloy to compute the signer (2 conversions to guarantee we are computing the signer only with fields stratus knows)