Testing the Edict Compiler

Summary

Provides guidance on implementing and executing vitest-based tests for the Edict compiler pipeline. It covers testing patterns for schema validation, type checking, and Z3 contract verification.