Include from/to role checking for sent/received messages
Add support for interruptible and include some performance improvements to avoid creating unnecessary lists
Add tests for interruptible
Add initial support for exporting the monitor model from a protocol