debugging-tools

make #defines for MALLOC/CALLOC/REALLOC/REALLOCARRAY to catch NULL return value, cleanup, and abort() properly

Implement Message.InspectMsg and suitable overrides. This function should be invoked when a message is sent, but only when a debug flag is enabled in a lab load. Its purpose is to verify that the message

• belongs to a valid protocol
• matches its PSM's protocol (if sent by a PSM)
• has a valid signal for its protocol
• contains all parameters that are mandatory for its signal
• contains