test: cover method subtraction return diagnostics

tests/typecheck_method_return_subtraction_bad.claro

@@ -0,0 +1,8 @@
+CLASS Player
+    HAS score NUMBER
+
+    TEACH total amount RETURNS NUMBER
+        CHECK TYPE amount IS NUMBER
+        RETURN amount - "oops"
+    END
+END