more TODOs
bumped Z3 version

Removed a workaround in coreStar for a Z3 bug that was fixed, so upgrade
needed.
minor comments