Adapt to Starknet / cairo-lang 0.12.1a0

[FabijanC]

Usage related changes

• Adapt to cairo-lang / Starknet 0.12.1a0
• Semantics of REVERTED and REJECTED is modified compared to the official testnet. Explained in the docs
  • rationale: couldn't make it work with REJECTED because of checks done in cairo-lang post_init

Development related changes

• Update JSON validation files used in testing
• Simplify tx storage in starknet_wrapper
• Remove double background devnet spawning in test_general_workflow (the test had been passing but with some port collisions)
• Add a couple of utility scripts, found them useful while developing, but they aren't a part of the necessary workflow:
  • scripts/compute_compiled_class_hash.py - for calculating the of a Cairo 1 Casm artifact
  • scripts/find_reverted.py - for finding reverted tx

Checklist:

• Applied formatting - ./scripts/format.sh
• No linter errors - ./scripts/lint.sh
• Performed code self-review
• Rebased to the last commit of the target branch (or merged it into my branch)
• Documented the changes
• Linked the issues which this PR resolves
• Updated the tests
• All tests are passing - ./scripts/test.sh

[mikiw]

That looks legit to me. In rust implementation, we will handle this in a proper way.