zt-chen

Adding formate check before merge. If test failed, the code should be formated with `cargo fmt`

(cherry picked from commit bece294dd6fa25ee898c084a429e020cced9b091)

Add interpreter_address_val trait for Interpreter The concolic and other engines that uses the Interpreter need to be updated (cherry picked from commit b4fc027dd3f52ced5c66ead61301ac4eb4e35ddf)

Multiple changes updated with MetaEmu 0.3