fix a bug of VirtualSubstitution
fix a bug in hyper graph generation
move testcases for hminimalHittingSets from TestSAT to TestUtil
clean up test/TestUtil.hs
rename TestQE to TestArith