assert gas used
verifyAccountPostConditions; calldata tests need to be done differently since balances need to be checked
assertion messages
strictEqual gives better message
Merge branch 'vmtest' into develop