Don't generate huge thousand-line proof goal names in crucible_llvm_verify.
Don't generate huge thousand-line proof goal names in crucible_llvm_verify.

Previously the "Invalid memory load" proof obligations would contain
a full pretty-printed copy of the symbolic expressions of the pointer,
which could extend to thousands of screen lines. Now we include only
the first line of the obligation message in the goal name.

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