Malloc Dynamic Array Systemverilog Assertions