Unit tests and test framework

[titzer]

We should unify the tests in Wizard's WALI implementation as well as more handwritten tests. Any tests we get from distillation should be checked in.