Support EVM bytecode directly

[step-xiaoyu-ka]

Hi, Is there a way using Manticore with EVM bytecode instead of solidity source code. I noticed that Manticore retrieves additional information from the compiled sol file(e.g. abi), whether the absence of these tips will affect Manticore much. Someone has done it but I have no idea.

(
            name,
            source_code,
            bytecode, # <--
            runtime,
            srcmap,
            srcmap_runtime,
            hashes,
            abi,
        ) = compilation_result