feat: proof for same_val_zero_0

[osmanyasar05]

This PR introduces the proof for same_val_zero_0, and refactors some of the files so that common constructors can be shared with the same_val_zero_1 proof.

[github-actions]

VeIR Benchmarks

Details

Benchmark suite	Current: c7495fd	Previous: c6cca51	Ratio
add-fold-worklist/create	2417000 ns (± 75662)	2241000 ns (± 112014)	1.08
add-fold-worklist/rewrite	4011000 ns (± 89021)	4033500 ns (± 31734)	0.99
add-fold-worklist-local/create	2502000 ns (± 81716)	2246500 ns (± 112038)	1.11
add-fold-worklist-local/rewrite	3366000 ns (± 90322)	3391500 ns (± 73095)	0.99
add-zero-worklist/create	2468500 ns (± 173774)	2254000 ns (± 55193)	1.10
add-zero-worklist/rewrite	2561500 ns (± 106778)	2631000 ns (± 55796)	0.97
add-zero-reuse-worklist/create	2083500 ns (± 133888)	1892000 ns (± 67762)	1.10
add-zero-reuse-worklist/rewrite	2137000 ns (± 71846)	2198000 ns (± 83020)	0.97
mul-two-worklist/create	2472000 ns (± 44337)	2332000 ns (± 98767)	1.06
mul-two-worklist/rewrite	5657000 ns (± 87614)	5765000 ns (± 217745)	0.98
add-fold-forwards/create	2456000 ns (± 118041)	2219000 ns (± 41445)	1.11
add-fold-forwards/rewrite	3026000 ns (± 5225)	3071000 ns (± 21107)	0.99
add-zero-forwards/create	2449500 ns (± 131238)	2272000 ns (± 90941)	1.08
add-zero-forwards/rewrite	1970500 ns (± 182925)	1989000 ns (± 21300)	0.99
add-zero-reuse-forwards/create	2043500 ns (± 101109)	1906000 ns (± 92514)	1.07
add-zero-reuse-forwards/rewrite	1572000 ns (± 28113)	1549000 ns (± 15271)	1.01
mul-two-forwards/create	2480000 ns (± 123304)	2264000 ns (± 88706)	1.10
mul-two-forwards/rewrite	3694000 ns (± 98471)	3769000 ns (± 95668)	0.98
add-zero-reuse-first/create	2079500 ns (± 115148)	1890000 ns (± 92368)	1.10
add-zero-reuse-first/rewrite	8000 ns (± 1961)	9000 ns (± 2385)	0.89
add-zero-lots-of-reuse-first/create	2048500 ns (± 140501)	1916000 ns (± 32593)	1.07
add-zero-lots-of-reuse-first/rewrite	790500 ns (± 46227)	836000 ns (± 27463)	0.95

This comment was automatically generated by workflow using github-action-benchmark.