0.26.6 (2024-03-08) Features IPA documentation (#4924) (48bd22e) Updating an SMT solver class (#4981) (4b94d58) Bug Fixes Storage v2 (#5027) (fe3190e) Update protogalaxy cmake dependencies (#5066) (507c374) Miscellaneous ci: Re-enable certain bb solidity ACIR tests (#5065) (58e1ff4) Cleanup of prover and verifier instances (#4959) (f2fdefd) Join-split example Part 1 (#4965) (b9de0f5) Remove eccvm functionality to update the op queue and ensure ultra ops are populated through function (#5084) (77954ab)