WIP SVM verifier support

[sagar-a16z]

WIP onchain verifier for Solana

high level goals of this work:

• Refactor parts of of jolt-core into jolt-types for direct SVM compilation
  • Future PR: Move more components into jolt-types
    • Move things that don't need tracing/rayon (or feature gate them) into this crate
• Simple SVM program that statically verifies a small proof
• Future: Generalize program inputs. Add ability to upload hyperkzg proofs to program PDAs
  • Write a better test for the program
• Add support for other PCS
  • Hyrax (Won't be doing this - Hyrax increases verifier costs, not fun onchain)
  • zeromorph (Might not do this after discussion with mzhu)
• Add support for R1CS
• Add support for GrandProduct
• Add support for Sumcheck
• Optimize CU