Add principal generation to PropValue

[Acaccia]

This PR adds the possibility to generate principal type for PropValue. Accidentally, it can also generate lists with their entry type set to ListUnionType when we generate a list of qualified principals.

This PR fixes the usage of principal:

• by fixing the memory issues in Clarity-Wasm: fixes for the principal type stacks-core#4338
• by concretizing all ListUnionTypes in expressions after the type checking
• by fixing the deserialization process, which pushed the wrong number of bytes to the reference result

Fixes #305
Fixes #274

[csgui]

LGTM!

[codecov]

Codecov Report

Attention: 14 lines in your changes are missing coverage. Please review.

Comparison is base (c1fc7b2) 91.47% compared to head (3f7bf59) 91.38%.

Files	Patch %	Lines
clar2wasm/src/lib.rs	6.66%	12 Missing and 2 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #325      +/-   ##
==========================================
- Coverage   91.47%   91.38%   -0.10%     
==========================================
  Files          40       40              
  Lines       13788    13803      +15     
  Branches    13788    13803      +15     
==========================================
+ Hits        12613    12614       +1     
- Misses        546      558      +12     
- Partials      629      631       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.