Add Python client changes suggests by @RyanGlScott
Add Python client changes suggests by @RyanGlScott

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script