X-Propagation Woes: Masking Bugs at RTL and Unnecessary Debug at the Netlist