WIP: First pass at property test. genWitnessedTxIn returns an empty
list. you need to implement an Eq (AnyIndexedPlutusScriptWitness L.ConwayEra) Explore this on Monday For now just move forward with writing the generators for Plutus script witnesses and confirm you get the right number!