modified TCs to use matchReturnMessages helper function (with timeout); assertions put inside TC (not in reportVerification helper function)