use new devtools syntax to load quickcheck