Merge pull request aallan#172 from aallan/register-diverge-effect

Register Diverge as built-in effect (aallan#136)

Merge pull request aallan#171 from aallan/improve-wasm-coverage

Improve WASM translation test coverage (aallan#156)

Merge pull request aallan#168 from aallan/add-vera-test

Add vera test contract-driven testing (aallan#79)

Merge pull request aallan#159 from aallan/release-v0.0.46

Release v0.0.46 — codegen decomposition

Merge pull request aallan#152 from aallan/release-v0.0.45

Bump version to v0.0.45

Merge pull request aallan#125 from aallan/fix/c8b-module-qualified-ca…

…ll-syntax

C8b: module-qualified call syntax uses :: delimiter (aallan#95)

Merge pull request aallan#123 from aallan/fix/c8b-error-code-taxonomy

C8b: stable error code taxonomy (aallan#80)

Merge pull request aallan#122 from aallan/fix/c8b-runtime-contract-me…

…ssages

C8b: informative runtime contract violation messages

Merge pull request aallan#120 from aallan/fix/c8a-decompose-wasm

C8a: decompose wasm.py into wasm/ package

Merge pull request aallan#119 from aallan/fix/strikethrough-html

Use HTML del for roadmap strikethrough