There's a big difference between being a supported first class citizen and having a hacked together ecosystem that Mostly Works™.

After my experience with Mono on past .NET versions, I'm skeptical of any of these "compiles to x" schemes.

No, they compile to IL and run it with Mono (embedded as a native lib). Optionally you can AOT-compile it to native code.