Checker / bind sketch

Reusable assertion blocks vs synthesizable modules — and bind to attach checks without editing the DUT.