I was under the impression the binary was compiled on the user's machine

That's how procedural macros used to and were intended to work.