tools: pass checker trace flags through to flow-lower command
core: in checker app synth rule, apply context before comparing arg and param types