add test cases including 'hamiltonian circuit', 'random loops' and 'random quantified boolean formulas'