verification(preemptive_spin): change to multi-scheduler model (#645)

* feat: support multi scheduler

Signed-off-by: atsushi421 <[email protected]>

* chore: update script

* refactor: add assert

* fix: use atomic in move_channel

* docs: update README

Signed-off-by: atsushi421 <[email protected]>

* fix

---------

Signed-off-by: atsushi421 <[email protected]>

Author: atsushi421