docs(yellowpaper): update AVM spec for with "daGasLeft", some cleanup#3956

dbanks12 merged 1 commit intomasterAztecProtocol/aztec-packages:masterfrom

db/avm-yp-gas-updateAztecProtocol/aztec-packages:db/avm-yp-gas-updateCopy head branch name to clipboard