fix VirtualSubstitution to correctly handle unconstrained variables
remove a warning
add QuickCheck properties for minimalHittingSets
check unsatisfiable cases of FourierMotzkin and VirtualSubstitution