Better control of gas accounting#1823

feliam wants to merge 11 commits intomastertrailofbits/manticore:masterfrom

dev-ignore-gas-bettertrailofbits/manticore:dev-ignore-gas-betterCopy head branch name to clipboard