Static / dynamic hazards

Single-input transitions on multi-level logic can glitch. Spot static-1, static-0, and dynamic hazards — and cover them.