include quickchecks in main