feat: add fallback mechanism for contracts with un-analyzed bytecode

[enitrat]

Feature Request

Describe the Feature Request

"Legacy" contracts might already be deployed on kakarot, without having their valid jumpdests analyzed. This will cause an issue when trying to validate a jump destination, which will always return false.

Add a fallback mechanism to analyze a contract's bytecode if it has not been analyzed yet, directly inside the account contract.

Describe Preferred Solution

If a storage read for valid jumpdests returns 0, verify whether the Account_jumpdests_initialized storage variable is set to true. If not, analyze the code and set the account's jumpdests in place, then return the result of the query.

Describe Alternatives

Related Code

Additional Context

If the feature request is approved, would you be willing to submit a PR? Yes

/ No (Help can be provided if you need assistance submitting a PR)