The previous "valid" wast file, when ran through the optimizer now doesn't pass validation

previously_valid_optimized_to_invalid.wast

[wasm-validator error in function $impls::_impl_Ord_for_i32_::cmp] 2 != 1: store value type must match, on 
(i32.store
  (i32.const 0)
  (set_local $0
    (if
      (i32.eq
        (get_local $0)
        (get_local $1)
      )
      (i64.const 0)
      (select
        (i64.const -1)
        (i64.const 1)
        (i32.lt_s
          (get_local $0)
          (get_local $1)
        )
      )
    )
  )
)
[wasm-validator error in function $impls::_impl_PartialOrd_for_()_::partial_cmp] 2 != 1: store value type must match, on 
(i32.store offset=8
  (i32.load
    (i32.const 0)
  )
  (i64.const 0)
)
[wasm-validator error in function $impls::_impl_Ord_for_u8_::cmp] 2 != 1: store value type must match, on 
(i32.store
  (i32.const 0)
  (set_local $0
    (if
      (i32.eq
        (get_local $0)
        (get_local $1)
      )
      (i64.const 0)
      (select
        (i64.const -1)
        (i64.const 1)
        (i32.lt_s
          (get_local $0)
          (get_local $1)
        )
      )
    )
  )
)
[wasm-validator error in function $impls::_impl_Ord_for_()_::cmp] 2 != 1: store value type must match, on 
(i32.store
  (i32.const 0)
  (set_local $0
    (i64.const 0)
  )
)