feat: Add symbolic execution tests using Halmos

[donosonaumczuk]

Overview

I modified one tests to try Halmos in our repo. It would be nice to explore it more, adding some interesting test cases. If we have a solid suite then makes sense to add it as part of the CI too.

Installation

# install uv if you don't have it already
curl -LsSf https://astral.sh/uv/install.sh | sh

# install the latest version of halmos for the current user and add it to PATH
uv tool install --python 3.12 halmos

Run

# run symbolic execution tests using halmos
halmos