Merge changes from latest version of SBV

(SBV revision 55a9405954b02c30bfa0f0f237b157a42a1af63b, Aug 28)
Make the symbolic simulator more lazy to avoid non-termination