An optimizer step that can remove redundant `mstore` in Yul. This is done with the help of and Solver to prove that `mstore` is redundant.