Added more optimization pragmas to modules Arrival and Stream.Random.