Synthesizability linter

Static teaching checks from the HDL engine (lintSynthesizability): #delay, initial, systasks, latch-risk if/case, blocking-in-FF, and more. Not Yosys/Vivado — a lab-oriented rule pack. Starter: clean assign y = a & b.