Added optional message parameter in ConcretizeMemory (#885)
Added optional message parameter in ConcretizeMemory (#885)

* Added optional message parameter in ConcretizeMemory

In some files (e.g. manticore/core/cpu/abstractcpu.py), ConcretizeMemory is invoked with a message but it is interpreted as the "policy" value now, causing a crash. This commit should fix that issue.

* Small code refactoring to address code review

trailofbits/manticore,trailofbits/manticore,montyly/manticore,trailofbits/manticore,montyly/manticore