fix for memory leak in BVQuickCheck