Block ABC retiming when synthesizing for analysis.
Block ABC retiming when synthesizing for analysis.

It obscures the signals we're looking for when analyzing a netlist and
introduces non-determinism.

hdl/bazel_rules_hdl,hdl/bazel_rules_hdl,hdl/bazel_rules_hdl,hdl/bazel_rules_hdl