[verifier] Implement verification of byref returns.