Improve concretize log messages (#1686)
Improve concretize log messages (#1686)

* Improve concretize log messages.

* Update manticore/core/worker.py

Co-authored-by: Eric Hennenfent <121b608d87d56179d19f2fe2c13641b98fa329db@trailofbits.com>

Co-authored-by: Eric Hennenfent <121b608d87d56179d19f2fe2c13641b98fa329db@trailofbits.com>
trailofbits/manticore,trailofbits/manticore,trailofbits/manticore