Correct verification problem in 60 test cases.

Removal of the code that inserts ret_to_arg_ref_tmp_ was incorrect.  The code is inserted
when FLAG_REF is absent, not present.

Removed the ancient (and apparently not very accurate) test for premature frees.