[hmac,dv] Add assertions excl back from PR #26163 #271

Job	Run time
Lint (quick)	55s
Lint (slow)	0s
Airgapped build	0s
Run OTBN crypto tests	0s
Verible lint	0s
Run OTBN smoke Test	0s
Build documentation	0s
CW305's Bitstream	0s
Verilated Earl Grey	0s
Verilated English Breakfast	0s
Build Docker Containers	0s
Earl Grey for CW310	0s
Earl Grey for CW310 Hyperdebug	0s
Earl Grey for CW340	0s
Build and test Darjeeling software	0s
QEMU smoketest	0s
Build and test software	0s
CW310 SiVal Tests	0s
CW310 Manufacturing Tests	0s
Hyper310 ROM_EXT Tests	0s
CW310 SiVal ROM_EXT Tests	0s
CW340 Test ROM Tests	0s
CW340 Manufacturing Tests	0s
CW340 ROM_EXT Tests	0s
CW340 ROM Tests	0s
CW340 SiVal ROM_EXT Tests	0s
CW340 SiVal Tests	0s
Cache bitstreams to GCP	0s
CW310 ROM Tests	0s
CW310 Test ROM Tests	0s
Verify FPGA jobs	23s
	1m 18s

Provide feedback