Improvements to LLVM model extraction.
Improvements to LLVM model extraction.

This includes currently-disabled code to wrap models in lambda binders, in place of global inputs.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script