Generative Testing for Macros

You will employ property-based testing to verify the correctness of generated code across vast input spaces.