[Feature] Introduce the signature type and signature::verify.

[d0cd]

This PR introduces the signature type and signature::verify.
signature::verify takes a signature, address, and a value as operands and returns whether or not the signature is valid.
A sample usage is shown below.

function verify(a: signature, b: address, c: field) -> bool {
    return signature::verify(a, b, c);
}

[codecov]

Codecov Report

Merging #2519 (964c961) into testnet3 (e180118) will decrease coverage by 0.01%.
The diff coverage is 90.00%.

@@             Coverage Diff              @@
##           testnet3    #2519      +/-   ##
============================================
- Coverage     80.10%   80.10%   -0.01%     
============================================
  Files           158      159       +1     
  Lines          5309     5322      +13     
  Branches       5309     5322      +13     
============================================
+ Hits           4253     4263      +10     
- Misses         1056     1059       +3     

Files Changed	Coverage Δ
compiler/ast/src/functions/core_function.rs	100.00% <ø> (ø)
compiler/ast/src/types/type_.rs	94.11% <ø> (ø)
compiler/parser/src/parser/type_.rs	93.75% <ø> (ø)
compiler/parser/src/tokenizer/mod.rs	81.48% <ø> (-1.28%)	⬇️
compiler/parser/src/tokenizer/token.rs	85.71% <ø> (ø)
compiler/passes/src/code_generation/visit_type.rs	76.47% <ø> (ø)
compiler/span/src/symbol.rs	83.33% <ø> (ø)
compiler/parser/src/parser/expression.rs	82.27% <77.77%> (-0.20%)	⬇️
compiler/parser/src/tokenizer/lexer.rs	100.00% <100.00%> (ø)
...er/passes/src/code_generation/visit_expressions.rs	78.06% <100.00%> (+0.28%)	⬆️
... and 1 more

... and 17 files with indirect coverage changes

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

[collinc97]

Code changes look clean.
Will approve once the snarkVM deps are updated.