add verbose option to proptestGC