Move tests from inst to tests (fix #5)