[DV] Add Verification Test Cases for Memory Safety and Security Rules

Let's make sure we have defined test cases for all these rules including the ones in memory safety and security; I see verif requirements below, probably these all shld also be added

_Originally posted by @bharatpillilli in https://github.com/chipsalliance/usb2/pull/3#discussion_r3831741110_

The issue does not name files, tests, or verification entry points. First locate the referenced verification requirements and existing test cases, then determine which memory-safety and security rules are missing; done means each applicable rule has a defined test case.

Written by the indexing model from the issue text.