refactor: merge simp_llvm and simp_llvm_option simpsets#1297

Draft

alexkeizer wants to merge 3 commits intomainfrom

simp-alive-undef-ops2

Commits on Jun 3, 2025

refactor: merge simp_llvm and simp_llvm_option simpsets
alexkeizer
committed
refactor: remove `foo?` version of operations, now that the simpsets are merged
alexkeizer
committed

Commits on Jun 4, 2025

WIP: attempt to fix now-broken handwritten proofs
alexkeizer
committed