Make `goal_eval` preserve pi-bound variables in goals.
Make `goal_eval` preserve pi-bound variables in goals.

Fixes #985.

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