Better argument names in manticoreEVM api (#1652)
Better argument names in manticoreEVM api (#1652)

* Better argument names in manticoreEVM api

* blkn

* bugfix
trailofbits/manticore,trailofbits/manticore,trailofbits/manticore