Added variable matching.
Merge branch 'simplify-fuzz-testing' into rule-simplifier
Fixed corner case divide by zero in Div bounds inference.
Added testing of cast.
Added rule to simplify cast(broadcast(x)) -> broadcast(cast(x)).
Fixed equality of casted ramps, fixed cast of cast of negative const ints.
Added helpers for reproducing failures.
Fixed warnings regarding unsigned abs.