Public API extension for versioning

[Sdoba16]

This PR enhances the public API and release tooling to improve support for external tools
More precisely, it adds:

• Witness Layout in JSON: The simc --json output now includes a witness_layout field. This provides a stable contract for external tools by listing witness names and types in the exact order required for satisfaction.
• Compiler Version in JSON: The compiler_version is now included in all simc outputs to aid reproducibility, as different compiler versions can produce different CMRs from the same source code.
• ABI Program Type in JSON: A new --abi-only flag allows inspecting a program's ABI (parameter and witness types) without requiring a full compilation, which is ideal for tooling on parametric programs.
• Debug Symbols in JSON: When compiling with --debug and --json, the output now includes a debug_symbols map, linking instrumented calls to their CMRs for better traceability.
• SHA256SUMS for Releases: The release process now generates SHA256SUMS, allowing users to verify the integrity of the downloaded simc binary.