Verify types in TypedData in line with SNIP-12

[franciszekjob]

Relates #1353

Introduced changes

Ensure type verification logic in line with guidelines. Restrictions related to enum basic type will be added separately in next PRs.

• Disallow empty names, names with *, dangling types
• Require domain type to be present in types
• Add tests for types redefinition, missing domain type, dangling type, missing dependency

• This PR contains breaking changes

[codecov]

Codecov Report

Attention: Patch coverage is 70.58824% with 5 lines in your changes missing coverage. Please review.

Project coverage is 86.77%. Comparing base (345b0ba) to head (5afd511).
Report is 5 commits behind head on development.

Additional details and impacted files

@@               Coverage Diff                @@
##           development    #1369       +/-   ##
================================================
- Coverage        96.97%   86.77%   -10.21%     
================================================
  Files               93       98        +5     
  Lines             4766     4984      +218     
================================================
- Hits              4622     4325      -297     
- Misses             144      659      +515     

Files	Coverage Δ
starknet_py/utils/typed_data.py	79.38% <70.58%> (-19.55%)	⬇️

... and 56 files with indirect coverage changes