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