fixed new eager bit-blasting memory usage: assertions were leaked to main sat solver