Update Protocol to v0.4.3rc1 with Major Fixes and Features

Protocol updated from v0.4.2 to v0.4.3rc1. Key fixes include venom single-use expansion (#4667), function inliner clone (#4696), and incorrect write reordering in DFTPass (#4695). @charles-cooper introduced @raw_return decorator (#4568) and rewrote venom grammar to LALR(1) (#4687). Prague became default EVM version (#4633). New contributors: @gap-editor (#4680), @crypdoughdoteth (#4641).