Making the new s-expr parser multithreaded, and adjusting tests
accordingly