Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok.
Merge branch '1.3.x'
Fix for (get-assignment), resolves bug 553.
Minor cleanup.

* Reenable parts of bvsimple test
* Fix typo in #endif comment