Bug: function and method returns are not checked correctly

When a function has a return type, we only check in the outer function scope, and only if a return statement is found. This means that a function which should return a variable, but that does not have a return statement will go through as valid, this is undefined behavior currently.

The validator also does not check that all code paths in a function returns the correct value.