Implement SCCP transform

For now, it tracks constants through basic integer arithmetic operations
and eliminates `brcond` instructions where possible.

A few things could be made more efficient with more advanced
`EditContext` utilities, but this works for now.

Author: nmraz