Use ppTermDepth in matchTerm. (#596)
Use ppTermDepth in matchTerm. (#596)

Currently, the code uses `ppTerm` to build the entire string, and
then doesn't use it if it is longer than 200 characters. This
approach can use large amounts of memory without using the result.
Switch to `ppTermDepth`.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script