Added a return statement check.

Before now there was nothing that would stop a programmer from writing
a function without a return statement at the end (in a void function)
and thus no code would be generated in that case.  This has been
patched in the semantic pass.