enable building of optional quickcheck subpackage

This is the ultimate cause of build failures for frenetic-lang/frenetic#270