Crucible/LLVM: Allow pointers to one past the end of allocations
Crucible/LLVM: Allow pointers to one past the end of allocations

This is permitted by the C standard

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