It should be possible in zig! Here's a proof of concept, I would guess that if V failed it was because they tried to do it at the language level. If you analyse intermediate representations the work is much, much easier.

https://youtu.be/ZY_Z-aGbYm8?feature=shared