Compiles generated source and verifies that expected modules are produced.

Encodes and decodes a generated program manifest and validates basic shape.

Writes a temporary Mix project, yields {dir, program}, then removes it.