WyC: Return stmt check for missing value. #395
Previously, the flow type checker did not ensure that, for a function or
method declared to return a value, when a return statement was
encountered that it actually returned a value.  This is now fixed, and
the error reported mimics Java "missing return value".