Enable release of v0.8.0-alpha.4

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)

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)

[x] Formatted the code
[x] No linter errors + tried to avoid introducing linter warnings
[x] Performed a self-review of the code
[x] Rebased to the last commit of the target branch (or merged it into my branch)
[x] Documented the changes
[x] Updated the test directory (with a test case consisting of network.json, hardhat.config.ts, check.ts)
[x] Linked issues which this PR resolves
[x] Created a PR to the plugin branch of starknet-hardhat-example:
- https://github.com/0xSpaceShard/starknet-hardhat-example/pull/124
- [x] 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)