Add MFromMacroInMacro constraint and check it when iterating/matching

[Simn]

For #11403.

class Test {
	static function main() {
		var x = getValues();
		switch x {
			case [1]:
			default:
		}
	}

	public static macro function getValues() {
		return macro [1];
	}
}

 ERROR  (macro) source/Main.hx:4: characters 10-11

 4 |   switch x {
   |          ^
   | Cannot match on expression from macro-in-macro call

    3 |   var x = getValues();
      |           ^^^^^^^^^^^
      | Call was here

class Main {
	static function main() {
		for (v in getValues())
			trace(v);
	}

	public static macro function getValues() {
		getValues();
		return macro [];
	}
}

 ERROR  (macro) source/Main.hx:3: characters 13-24

 3 |   for (v in getValues())
   |             ^^^^^^^^^^^
   | Cannot iterate on expression from macro-in-macro call

 ERROR  source/Main.hx:3: characters 13-24

There are likely still ways to break this and we still need tests, but the situation is a bit better than before. There are also still the errors from the not-macro context because our typer recovers way too much, but that's a more general problem (related to #11395).