RTS in test/model should be parameterized to optionally take a number of threads as an input, with a special value for a single-threaded RTS, so that we can test if there are any errors specific to single- or multi-threaded execution of RTS.