Made model policies a threaded run loop, and made policy executions transactional