Z3 Wrapper Debug Logging Output

Originally the z3_wrap.py debugging output would go to standard out
through print statements guarded by a constant conditional statement.

I've replaced the print statements with DEBUG logging statements.