A test tool that can take an abstract/general purpose AST and output unit tests for every code path. Complementary features would include pinning tests to 1. Diff 2. Detect regressions. Also having the ability to fuzz the code automatically would be great.