implement Keccak256 Keccak384 Keccak512 with tests

[collinc97]

This PR adds support for the Keccak hash functions.

let a: i128 = Keccak256::hash_to_i128(address_value);
let b: field = Keccak384::hash_to_field(bool_value);
let c: group = Keccak512::hash_to_group(field_value);

Related PRs
https://github.com/AleoHQ/snarkVM/pull/1911

[codecov]

Codecov Report

Merging #2603 (06b52aa) into testnet3 (93597dd) will increase coverage by 0.01%.
Report is 1 commits behind head on testnet3.
The diff coverage is 100.00%.

@@             Coverage Diff              @@
##           testnet3    #2603      +/-   ##
============================================
+ Coverage     80.05%   80.06%   +0.01%     
============================================
  Files           160      160              
  Lines          5390     5393       +3     
  Branches       5390     5393       +3     
============================================
+ Hits           4315     4318       +3     
  Misses         1075     1075              

Files Changed	Coverage Δ
compiler/ast/src/functions/core_function.rs	100.00% <ø> (ø)
compiler/passes/src/type_checking/checker.rs	95.90% <ø> (ø)
compiler/span/src/symbol.rs	83.33% <ø> (ø)
...er/passes/src/code_generation/visit_expressions.rs	78.48% <100.00%> (+0.41%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[d0cd]

LGTM!