Added checking that the effects of the functions called through parallel_invoke
are covered by the effect summary of the method calling parallel_invoke.
Also fixed the (for the most part) known issues with the tests