Crypto: Refactor Model and signatures, fix models, add unit tests

[bdrodes]

A complete overhaul of how signatures are modeled to take into account that some operations are ambiguous, they can be either MAC or Signature. Significant updates to the OpenSSL models both to use the new signature/mac models but also misc. fixes and additional modeling to make the scope of the OpenSSL models wider and more accurate. Updates to the JCA models also to account for the new signature/mac models.

This PR is a culmination of many misc. updates necessary to get the openssl models to a consistent representation, with rigorous unit tests, especially as represented in the graph. Next steps are to ensure other models (e.g., the JCA) are similarly consistent with rigorous unit tests.

[Copilot]

Pull Request Overview

This PR refactors the signature model architecture to consolidate MAC and signature operations under a unified hierarchy. The key changes include:

• Merges MAC algorithm types into the general key operation algorithm type system
• Introduces a new SignatureOrMacOperationInstance base class to handle APIs that can perform either signature or MAC operations
• Updates OpenSSL operation modeling to better distinguish between signature-only and signature/MAC operations
• Adds comprehensive verification operation support alongside existing signing operations

Reviewed Changes

Copilot reviewed 37 out of 37 changed files in this pull request and generated 6 comments.

Show a summary per file

File	Description
shared/quantum/codeql/quantum/experimental/Standardization.qll	Integrates MAC algorithm types into the main key operation algorithm hierarchy
shared/quantum/codeql/quantum/experimental/Model.qll	Refactors signature/MAC operation class hierarchy and removes standalone MAC classes
java/ql/lib/experimental/quantum/JCA.qll	Updates JCA model to use new MAC algorithm types and fixes hash algorithm name parsing
cpp/ql/test/experimental/library-tests/quantum/openssl_signature.c	Restructures test code into focused individual test functions
cpp/ql/lib/experimental/quantum/OpenSSL/Operations/SignatureOperation.qll	Adds comprehensive signature/verification operations and introduces SignatureOrMacFinalOperation
cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/MACAlgorithmInstance.qll	Updates MAC instances to extend KeyOperationAlgorithmInstance instead of MacAlgorithmInstance
cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOperationBase.qll	Switches from DataFlow to TaintTracking and adds new IO types for hash algorithms