clear model cache in BVQuickCheck clearSolver() (fixes bug 587)