Add quint test framework