Crucible/LLVM: More detailed messages on StrucutralMismatch (#450)
Crucible/LLVM: More detailed messages on StrucutralMismatch (#450)

* Show the synthesized type of the SetupVal on a structural mismatch

Also, use the relatively new pretty-printing of `LLVMVal`.

* Printing of SetupVals with names instead of allocation indices

* Translate SetupValues to LLVMVals when printing structural mismatches

* Improve StructuralMismatch message a bit more

* Align columns of error messages

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