Fix tokenization of "reset" in SMT-LIB v2.0.  It's a reserved word only in 2.5.
Fix BV inequality solver caching.
Possible fix for bug594
bv inequality graph tnode fix