Verify tx version on execute

[zediogoviana]

Pull Request type

Please check the type of change your PR introduces:

• Bugfix
• Feature
• Code style update (formatting, renaming)
• Refactoring (no functional changes, no API changes)
• Build-related changes
• Documentation content changes
• Testing
• Other (please describe):

What is the current behavior?

The current execute method doesn't check if the transaction version being passed is valid or not.
Transaction.version uses a U256 as the type.

Issue Number: #127

What is the new behavior?

This PR adds a transaction version validation similar to what happens in the blockifier.
It also replaces the usage of U256 for the version type in the Transaction struct to be an u8, as specified in the issue.

Existing tests were updated, and new ones were added.

Does this introduce a breaking change?

• Yes
• No

Other information

[zediogoviana]

Hey @abdelhamidbakhta 👋 This should be ready to be reviewed

[AbdelStark]

left some comments

[AbdelStark]

lgtm

[EvolveArt]

hey @zediogoviana, could you add one test within starknet/lib.rs ? Just to make sure it fails correctly when given two non-consecutive nonces.

[zediogoviana]

Hey @EvolveArt, I can do that, no problem. However, I'm not understanding how the nonce verification test impacts this PR. Just checking if you aren't referring to PR #129 instead.

[EvolveArt]

Hey @EvolveArt, I can do that, no problem. However, I'm not understanding how the nonce verification test impacts this PR. Just checking if you aren't referring to PR #129 instead.

Sorry I meant tx version you're right, got confused between PRs

[EvolveArt]

lgtm