Avoid importing QuickCheck in the BWT_FM module
#57, support QuickCheck-2.7