I recommend making this an optional dependency, by creating an openflow.quickcheck sub-library. See how it is done here:

  https://github.com/frenetic-lang/netkat/blob/master/_oasis