Moved Z3 Debugging Output to Logger

Originally the z3_wrap.py debugging output would go to standard out
throw print statements guarded by a constant conditional statement.

I've replaced the print statements with DEBUG logging statements.