Sync manticore's python3 branch EVMAsm and rattle's #1
Description
Currently there are slightly difference and might return a different type (bytes vs str) in a couple functions. Also need to replace offset with pc from recent python2 manticore change.