Fuzzer Bug in CopySlice Equiv

[d-xo]

2024-07-25T09:15:27.0467690Z hevm> Sat (SMTCex {vars = fromList [], addrs = fromList [], buffers = fromList [(AbstractBuf "esc_buf_xdPAhpyqEekqXBMPYmeDR",Flat "")], store = fromList [], blockContext = fromList [], txContext = fromList []})
2024-07-25T09:15:27.0485480Z hevm> FAIL (0.62s)
2024-07-25T09:15:27.0485960Z hevm>       *** Failed! Falsified (after 22 tests):
2024-07-25T09:15:27.0490250Z hevm>       CopySlice (Min (Eq (Lit 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (Lit 0x5)) (Lit 0x38)) (Lit 0x53) (Lit 0x1e) (CopySlice (Lit 0x3c) (Lit 0x2f) (Lit 0x9) (AbstractBuf "esc_buf_xdPAhpyqEekqXBMPYmeDR") (ConcreteBuf "\203\t\166\162k")) (CopySlice (Lit 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) (Lit 0x33abf9) (Lit 0xb) (ConcreteBuf "\228\150Xij\142\210\213$\193sGd\SI\144\195l\149\249\DC3^\226>\232") (ConcreteBuf "\178P\187\150"))
2024-07-25T09:15:27.0492380Z hevm>       Use --quickcheck-replay=949458 to reproduce.
2024-07-25T09:15:27.0492860Z hevm>       Use -p '/buffer-simplification/' to rerun this test only

Could be https://github.com/ethereum/hevm/issues/401 again?

[msooseth]

It is almost surely #401. These CopySlice ... 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff all are.