Function programCallSpec

Construct a ProgramCall validation spec pointing at programId.

The generic builder for every validation recipe — site recipes (balanceCheck, recipientOutputBalanceCheck, …) delegate here after deriving their target accounts.