Memory Subsystem Verification: Can it be taken for granted?