closes: #709

This PR:

Follow up with #713, This PR implements CRHF which impl the CRHF trait

• adjust trait CRHF to allow dynamic size ::type Input (need new tag)
• implement two flavors of Poseido2-based CRHF, one fixed input size (thus zero-padding), the other variable input size (thus bit-padding), both implements the modified CRHF trait
• implement trait DigestAlgorithm for both CRHF so that they can be used as Merkle Tree hash candidates.

This PR does not:

Once this is merged, it's time to release a few tags (and new versions), and readjust the dependencies declaration and CHANGELOG, main README (poseidon2 available!)

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

• Targeted PR against correct branch (main)
• Linked to GitHub issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Wrote unit tests
• Updated relevant documentation in the code
• Added relevant changelog entries to the CHANGELOG.md of touched crates.
• Re-reviewed Files changed in the GitHub PR explorer