Extended SPAI to run in separate contexts. Fixed a bad bug and unified style a bit.

In particular, the implementation should now be able to support multithreaded execution (multiple threads operating indepedently in different contexts)