List of missing peephole optimizations

Is it possible doing some trivial logical simplifications for now? Or better wait souper with z3 solver for that?
like simplify from:

(func $test (export "test") (type $t0) (param $p0 i32) (result i32)
    get_local $p0
    i32.const 10
    i32.gt_s
    get_local $p0
    i32.const 10
    i32.eq
    i32.or)

to:

(func $test (export "test") (type $t0) (param $p0 i32) (result i32)
    get_local $p0
    i32.const 9
    i32.gt_s)

or:

(func $test (export "test") (type $t0) (param $p0 i32) (result i32)
    get_local $p0
    i32.const 10
    i32.ge_s)

DONE:
from:

  get_global $i
  i32.const 0
  i32.le_s
  i32.eqz
  if

to:

  get_global $i
  i32.const 0
  i32.gt_s
  if

No source file, test, or entry point is named. Start by reviewing the issue discussion and the existing optimization code to identify where these WAT patterns are handled, then define the supported simplifications and verify that the shown input produces the requested output.