Merge branch 'vmtest' into develop
added check for address lengths in runCall
added EXT opcodes
assert gas used
verifyAccountPostConditions; calldata tests need to be done differently since balances need to be checked
assertion messages
strictEqual gives better message