Auto-generate the test cases

We need test case for each language but they are all similar.

```python
assert(n == 6)
assert(a == [5,4,3,6,1,2])
```

```nim
assert(n == 6)
assert(a == @[5,4,3,6,1,2])
```

We should be able to generate test cases from synthetic language like

```
n: int == 6
a: array[int] == [5,4,3,6,1,2]
```