Circuit: Update value_commit_orchard to take into account asset

[ConstanceBeguier]

In the circuit, we update value_commit_orchard to take into account asset.
Previously, value_commit_orchard returns cv_net = [v_net] ValueCommitV + [rcv] ValueCommitR..
Now, value_commit_orchard returns cv_net = [v_net] asset + [rcv] ValueCommitR.
ValueCommitV and ValueCommitR are constants
v_net is equal to sign * magnitude where sign is in {-1, 1} and magnitude is an unsigned integer on 64 bits.

To evaluate [v_net] asset where v_net = sign * magnitude, we perform the following steps

1. verify that magnitude is on 64 bits
2. evaluate commitment=[magnitude]asset with the variable-base long-scalar multiplication
3. evaluate result=[sign]commitment with the new mul_sign gate

[what-the-diff]

PR Summary

• Remove ScalarFixedShort from the circuit - This component was removed from the code
• Add asset to value_commit_orchard gadget - Enhance the gadget with a new asset feature
• Update proof size and tests - Modify test cases and proof size accordingly
• Introduce new file value_commit_orchard.rs - Create a file for ValueCommit^Orchard implementation
• Implement ValueCommit^Orchard circuit - Implement a circuit based on a specific section from the Zcash protocol
• Add tests for correctness - Write test cases to verify accurate implementation