AA verify

[YaronWittenstein]

This PR implements the verify stage as part of the Runtime interface.
More in-depth information about why need that functionality appears in the Account Unification SMIP.

Notes

• We use the term Verify Data to denote the ABI encoded data given as input for the verify function.
• We use the term Call Data to denote the ABI encoded data given when running the Transaction function.
• Since both VerifyData and CallData share the same mechanism, parts of the code simply use the term Input Data.
  In order not to bloat this PR, there are still code parts that use the term Call Data but gradually they will be renamed to use Input Data.
• Right now the verify returns a CallReceipt. It means that verify can return any blob of data (a.k.a the returndata).
  Whether the verify will return only a boolean is still in research.
• For now, the verify is expected to work with no access to the Account's storage. In other words, only pure logic
  can take place within verify. See issue: AA: Protected Mode for verify #327

[neysofu]

Looks good to me 👍