Pr/cvxif agent v2

Created by: ZElkacimi

This version of the agent support:

• Multi-cycle instructions and instruction that signal a synchronous exception in the agent
• Random delay to drive the result of multi-cycle instruction
• configurable in_order/out_of_order result response
• coverage model
• protocol checkers, in the monitor, for ids used in the 3 interfaces
• the agent is independent of the custom instructions (seq/ can be used for test)
• Protocol assertions and cover properties