fix: smt encoding for evm div-by-zero (#271) #391

Job	Run time
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...	45s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)	3m 50s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	4m 3s
test (farcasterxyz/contracts, farcaster-contracts)	2m 39s
test (zobront/halmos-solady, halmos-solady, --function testCheck)	2m 3s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	24m 15s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...	45s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...	3m 49s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	4m 6s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)	2m 29s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)	13m 30s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	24m 48s
	1h 27m 2s

Provide feedback