car-verify 0.1.0

Formal verification for Agent IR.

Given a state S and proposal P, you can:

1. verify: Prove P is satisfiable in S without executing
2. simulate: Compute expected final state S' without tools
3. equivalent: Show two proposals produce identical state
4. optimize: Reorder actions provably safely