Support Z3 4.8.1 and 4.8.3

feature wish: add support for Z3 4.8.1 (released oct 16) and 4.8.3 (released nov 20)