Started adding model based testing.
Added some basic directed tests.