[Dijkstra] `collectP2ScriptsWithContext` pass as argument the set of all scripts

[carlostome]

https://github.com/IntersectMBO/formal-ledger-specifications/blob/b0b3ad833c55609f046038b84547930b122880a0/src/Ledger/Dijkstra/Specification/Script/Validation.lagda.md?plain=1#L142C3-L142C30

[williamdemeo]

This has been addressed (in this PR I believe; see also this PR).