v0.1.80: Booster improvements (#288)
* `startPrank` match: `getbuffer` => `#getBuffer` * `memLoad-zero-length` match * `appendToOutAccount` definedness of `_Map_` * add `preserves-definedness` * Set Version: 0.1.80 --------- Co-authored-by: devops <[email protected]>