Testing the mh-kernel

- Factored out test into a main module in Tests.hs
- Hard coded output in the JSON format required by
  our homemade visualizer