Enable release of v0.8.0-alpha.4

[FabijanC]

Usage related changes

• Support --single-file flag of starknet-compile
• Support REVERTED status of transactions
• Change output of failed transactions: just stringify the status object not to rely on its properties (e.g. tx_failure_reason had been removed)
• Remove constructor checks - assuming cairo compiler has them by now (it didn't use to, e.g. double constructor wasn't checked)

Development related changes

• Update Devnet (0.6.0) - 0.5.* wasn't adapted to the new API - one test involving forking was failing
• Update cairo compiler (2.1.0)

Checklist:

• Formatted the code
• No linter errors + tried to avoid introducing linter warnings
• Performed a self-review of the code
• Rebased to the last commit of the target branch (or merged it into my branch)
• Documented the changes
• Updated the test directory (with a test case consisting of network.json, hardhat.config.ts, check.ts)
• Linked issues which this PR resolves
• Created a PR to the plugin branch of starknet-hardhat-example:
  • Enable release of v0.8.0-alpha.4 starknet-hardhat-example#124
  • Modified test.sh to use my example repo branch
  • Restored test.sh to to use the original branch (after the example repo PR has been merged)
• All tests are passing (for external contributors who don't have access to the CI/CD pipeline)