Generating and linking SMIR JSON for SPL-Token-based property tests

[Stevengre]

TODOs:

• Setup the same scripts as p-token to support smir.json generation and proof;
• fix the error for ./run-proofs.sh test_process_get_account_data_size
• add SPL option for RV Run Proofs workflow.

[Stevengre]

• feat(printer.rs): support GlobalAlloc::Function with non-fn-ptr type stable-mir-json#102 to support new case in spl
• feat: handle empty-body functions in smir.json. mir-semantics#753 to generate linked smir.json
• feat(spl): scripts and GitHub workflow support for running spl-token proofs #55
  • Setup the same scripts as p-token to support smir.json generation and proof;
  • add SPL option for RV Run Proofs workflow.