Merge pull request #9 from GroundPound/logging

Z3 Wrapper Debug Logging Output
minor changes to z3 interface