Add a note at type_inference.md for adding custom verifier if return type inference is not feasible

Add a note at type_inference.md for adding custom verifier if return type inference is not feasible #3623