Add an "improved safety" in "Why moving away from traditional HDL"

[mrcmry]

• hierarchy violation are checked
• assignDontCare are explicit
• latch are detected
• cross domain crossing is checked
• Assignment overlap
• combinational loops
• Undriven signals