Added check for infinite lemma loop
Fixes for getModelVal in bv theory
Improved speed of no redundant lemma assertion by using hash set