chore(k2 output): regene if_then_else models kratos, condjump fixes was applied but never regenerated

feat(p2p): add generic Spin p2p model using preprocessor define, add script (broken) to run benchmark

fix(p2p): fix bug where BUS would get stuck trying to send a message that nobody was able to receive

refactor: remove Message typedef in favor of single fields, fix FRM result when lock is acquired, remove mtype:message

chore: regen k2 convertion for var_declaration_init_conn after fixing connector data instance initialized during declaration

test: add test model where connector data instance is initialized during declaration, corrisponding k2 model has not init statement

test: add test with data instances initialized by parameter passed at atom signature, add generated k2 with missing initialization