Implement pthread-based actor runtime with mailbox queuing#41

ib823 wants to merge 1 commit intomainib823/proof:mainfrom

claude/actor-runtime-c-backend-TSBLzib823/proof:claude/actor-runtime-c-backend-TSBLzCopy head branch name to clipboard