performance tweak on exists, forall
changed LOTHypothesis.__call__ to NOT process EvaluationExceptions defaultly
fixed SymbolicRegression and RegularExpression
LOTHypothesis no longer catches exceptions!
Merge branch 'master' of https://github.com/piantado/LOTlib
merging stuff from Steve's commit
Cleaned up some code.
Added rule-by-rule line graph plotting to VectorSummary (tested & works).