Move tests from inst to tests (fix #8)