[NCC-Y7H] Create compute_function_id helper which enforces minimal TLV encoding

[vicsn]

Motivation

As defense in depth, in case we allow custom program_id's in the future, it is good practice to encode the length of each input. Some implementation notes:

• requires resampling
• we could also encode a "type" prefix as extra defense in depth, but the function_id code lives quite separate from other code.
• I did not spot other invocations of A::hash which would warrant an extra TLV encoding. There might be a problem if end-users hash containers themselves (in Leo or Aleo instructions), but then it is up to them to implement TLV encoding.
• If this design looks good we could rename the program/id folder to program/program_id to distinguish it from program/function_id.
• Technically we don't have to pass in network_id when in console mode, as it can be derived from the type, but I do it anyway to be consistent with the Circuit implementation

Test Plan

I did not add more tests.