backend: Improve branch pattern matching

- Eliminate redundant comparison to zero instructions, since btrue already
does that
- Properly match bfalse instructions
spmd_compile: add branch bypass instructions for if blocks

also, shortCircuitZeroMask was inverted