Make offline sat solver tactics work with eta-contracted proof goals.
Make offline sat solver tactics work with eta-contracted proof goals.

Fixes #157.

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