Fix bugs in the tests.
Run Tests and Hop in Checked Mode