🚧 Wasm WIP 🚧

[croyzor]

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 95.93909% with 8 lines in your changes missing coverage. Please review.

Project coverage is 92.26%. Comparing base (2bf0d68) to head (4565fb9).

Files with missing lines	Patch %	Lines
guppylang/std/_internal/compiler/tket2_exts.py	80.95%	4 Missing :warning:
guppylang/std/_internal/checker.py	71.42%	2 Missing :warning:
guppylang/std/qsystem/wasm.py	88.88%	1 Missing :warning:
guppylang/tys/builtin.py	94.11%	1 Missing :warning:

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #942      +/-   ##
==========================================
+ Coverage   92.17%   92.26%   +0.08%     
==========================================
  Files         106      110       +4     
  Lines       10509    10702     +193     
==========================================
+ Hits         9687     9874     +187     
- Misses        822      828       +6     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

:rocket: New features to boost your workflow:

• :snowflake: Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[croyzor]

I think I've addressed all of the comments (apart from the ConstStringArg business, which is annoying.

• Counting the number of guppy contexts has been replaced by introducing the spawn_wasm_contexts op which (thanks to recent guppy changes) can now take a nat @comptime arg to say how many contexts to spawn, which should be the preferred way to create wasm contexts.
• Have removed WasmModule from the type system, using a subclass of OpaqueTypeDef instead, which has extra fields to keep track of the WASM metadata
• Added tests of error messages
• Cleaned up a fair bit