This looks like a hack. Yes, being able to interpret webassembly is a general oracle. Still falls short of solving the real problem directly.