feat(ci): Lean proof + Bazel + proptest CI gates (#135)#151

avrabe merged 3 commits intomainpulseengine/spar:mainfrom

feat/135-lean-bazel-cipulseengine/spar:feat/135-lean-bazel-ciCopy head branch name to clipboard