Verify functions have sized parameters/return values

[powerboat9]

This adds an extra compiler pass called SizedChecker which handles the new checks