Verify ABI JSON in CI

[cusma]

Ensuring that the ABI JSON in the repository (resulting from PyTeal automated generation) and the Smart Contract PyTeal code are always aligned.

Describe the solution you'd like
Introduce a test or an automated job in GH actions CI.

[cusma]

If we decide to publish TEAL programs we should also make sure that the following are aligned:

(Smart ASA PyTeal, Smart ASA TEAL, Smart ASA ABI JSON)

[aldur]

It seems we decided that. So please make sure all is aligned, things get stale quickly.